Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Giovanni Sambin & Jan M. Smith (eds.)
Oxford University Press (1998)
| Abstract | This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years. | |||||||||
| Keywords | Type theory Congresses | |||||||||
| Categories | ||||||||||
| Buy the book | $65.00 new (24% off) $80.18 used (6% off) $85.00 direct from Amazon Amazon page | |||||||||
| Call number | QA9.A1.T94 1998 | |||||||||
| ISBN(s) | 0198501277 9780198501275 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
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.
Maria Schaar (2011). Assertion and Grounding: A Theory of Assertion for Constructive Type Theory. Synthese 183 (2):187-210.
Adam Obtułowicz (1989). Categorical and Algebraic Aspects of Martin-Löf Type Theory. Studia Logica 48 (3):299 - 317.
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.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,316 of 549,013 )Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
