Skip to main content
Book Chapter

Naïve Type Theory

Springer Science and Business Media B.V., (2019), 101-136
DOI: 10.1007/978-3-030-15655-8_5
1Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We introduce Type Theory, in its latest incarnation of Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics. We emphasize the naïve, intuitive understanding of Type Theory.

Cite

CITATION STYLE

APA

Altenkirch, T. (2019). Naïve Type Theory. In Synthese Library (Vol. 407, pp. 101–136). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-030-15655-8_5

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free