Church's type theory
Stanford Encyclopedia of Philosophy (2008)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesFairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Paul Oppenheimer & Edward N. Zalta (2011). Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations. Journal of Logic and Computation 21:351-374.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
George Bealer (1994). Property Theory: The Type-Free Approachv. The Church Approach. Journal of Philosophical Logic 23 (2):139 - 171.
P. B. Andrews (1965). A Transfinite Type Theory with Type Variables. Amsterdam, North-Holland Pub. Co..
Alonzo Church (1973). Russellian Simple Type Theory. Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
Fairouz Kamareddine, Twan Laan & Rob Nederpelt (2002). Types in Logic and Mathematics Before 1940. Bulletin of Symbolic Logic 8 (2):185-245.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,119 )Recent downloads (6 months)1 ( #63,361 of 549,119 )How can I increase my downloads? |
My notes
Discussion
