A Transfinite Type Theory with Type Variables
The Review of Metaphysics 20 (1):144-144 (1966)
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesP. B. Andrews (1965). A Transfinite Type Theory with Type Variables. Amsterdam, North-Holland Pub. Co..
Nick Chater (1997). What is the Type-1/Type-2 Distinction? Behavioral and Brain Sciences 20 (1):68-69.
Erik Palmgren (1991). A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe. Journal of Symbolic Logic 56 (3):1012-1015.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
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.
Peter Aczel (1972). Describing Ordinals Using Functionals of Transfinite Type. Journal of Symbolic Logic 37 (1):35-47.
Andrew M. Pitts & Paul Taylor (1989). A Note on Russell's Paradox in Locally Cartesian Closed Categories. Studia Logica 48 (3):377 - 387.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-03-18Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
