Treatise on Intuitionistic Type Theory
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 | ||||||||||
| Buy the book | $101.68 new (27% off) $115.99 direct from Amazon (28% off) $126.84 used (21% off) Amazon page | |||||||||
| Call number | QA9.G697 2011 | |||||||||
| ISBN(s) | 9789400717350 9400717350 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesM. D. G. Swaen (1991). The Logic of First Order Intuitionistic Type Theory with Weak Sigma- Elimination. Journal of Symbolic Logic 56 (2):467-483.
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.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Peter Dybjer (2000). A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. Journal of Symbolic Logic 65 (2):525-549.
J. Lambek & P. J. Scott (1981). Intuitionist Type Theory and Foundations. Journal of Philosophical Logic 10 (1):101 - 115.
Guram Bezhanishvili (2001). Glivenko Type Theorems for Intuitionistic Modal Logics. Studia Logica 67 (1):89-109.
Nick Chater (1997). What is the Type-1/Type-2 Distinction? Behavioral and Brain Sciences 20 (1):68-69.
Jesús Alcolea Banegas (1988). Intuitionistic Type Theory. Theoria 4 (1):235-238.
Jesús Alcolea Banegas (1988). Intuitionistic type theory. Theoria 4 (1):235-238.
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.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Analytics
Monthly downloads |
Added to index2011-12-25Total downloads19 ( #64,282 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
