The structure of type theory
Journal of Philosophy 77 (5):241-259 (1980)
| Abstract | Formal principals are isolated to reveal a structure embedded in a wide range of studies, each of which partitions a domain of individuals into types and categories. It is thought that any reasonable theory of types should include these principles. | |||||||||
| Keywords | Sommers category type spans type predicate category predicate | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesPaul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
Charles Sayward (1981). The Tree Theory and Isomorphism. Analysis 41 (1):6-11.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Adam Obtułowicz (1989). Categorical and Algebraic Aspects of Martin-Löf Type Theory. Studia Logica 48 (3):299 - 317.
Andrew M. Pitts & Paul Taylor (1989). A Note on Russell's Paradox in Locally Cartesian Closed Categories. Studia Logica 48 (3):377 - 387.
Charles Sayward & Stephen H. Voss (1972). Absurdity and Spanning. Philosophia 2 (3):227-238.
Charles Sayward (1978). Strawson on Categories. Journal of Critical Analysis 7 (3):83-87.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads14 ( #83,117 of 549,087 )Recent downloads (6 months)2 ( #37,333 of 549,087 )How can I increase my downloads? |
My notes
Discussion
