The paradox of trees in Type Theory (1991)

Cached

Download Links

by Thierry Coquand
Venue:BIT
Citations:2 - 0 self

Active Bibliography

Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—Lambda Calculus and Related Systems; Mechanical Theorem Proving General Terms: Theory – Robin Adams, Zhaohui Luo
35 Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST – Ieke Moerdijk, Erik Palmgren - 2000
25 Wellfounded Trees and Dependent Polynomial Functors – Nicola Gambino, Martin Hyland - 2004
1 Computer Theorem Proving in Math – Carlos Simpson
Information technology implications . . . – Marco Maggesi, Carlos Simpson
12 Sets in Types, Types in Sets – Benjamin Werner - 1997
4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
7 A New Paradox in Type Theory – Thierry Coquand - 1994
19 Embedding pure type systems in the lambda-Pi-calculus modulo – Denis Cousineau, Gilles Dowek - 2007
35 Extensional equivalence and singleton types – Christopher A. Stone, Robert Harper
A footnote on local compactness – Giovanni Curi - 2003
Lambda-Calcolo E Teoria Dei Tipi – Silvio Valentini
1 CZF has the disjunction and numerical existence property. Available from the author’s web page www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html – Michael Rathjen - 2004
2 A Type-Theoretic Analysis of Modular Specifications – Savitri Maharaj, Savitri Maharaj - 1996
2 Constructive Completions of Ordered Sets, Groups and Fields – Erik Palmgren - 2003
2 Interpreting Mahlo set theory in Mahlo type theory – Michael Rathjen - 1999
2 Recursive Models of General Inductive Types – Yuxi Fu, Yuxi Fu - 1993
2 Understanding Inductive Types in Constructions – Yuxi Fu, Yuxi Fu - 1993