Dordrecht, Netherland: Springer (2011)

Abstract
Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...
Keywords Type theory
Categories (categorize this paper)
Buy this book $133.04 new (22% off)   $134.64 used (21% off)   Amazon page
Call number QA9.G697 2011
ISBN(s) 9400717350   9400736398   9789400717350
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,089
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

What The Tortoise Said To Achilles.Lewis Carroll - 1895 - Mind 104 (416):691-693.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
On Concept and Object.Gottlob Frege - 1951 - Mind 60 (238):168-180.

View all 34 references / Add more references

Citations of this work BETA

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.

View all 9 citations / Add more citations

Similar books and articles

Intuitionist Type Theory and Foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
What is the Type-1/Type-2 Distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.

Analytics

Added to PP index
2011-12-25

Total views
44 ( #255,128 of 2,499,006 )

Recent downloads (6 months)
1 ( #421,180 of 2,499,006 )

How can I increase my downloads?

Downloads

My notes