The paradox of trees in Type Theory (1991)

Cached

Download Links

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

Documents Related by Co-Citation

2 Unifying Scott's theory of domains for denotational semantics and intuitionistic type theory, in: Logica e Filosofia della – P Martin-Lof - 1986
19 The �nitary projection model for second order lambda calculus and solutions to higher order domain equations – �ABL86� R Amadio� K B Bruce�, G Longo - 1986
12 V.Stoltenberg-Hansen, Domain Interpretations of MartinLöfs Partial Type Theory – E Palmgren - 1990
5 A theory of types. unpublished manuscript – Per Martin-Löf - 1970
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
13 Mathematics of infinity – P Martin-Löf - 1990
140 Intuitionistic type theory. Bibliopolis – P Martin-Löf - 1984
2 Normalization algorithms, mechanical normalization and intuitionistic model constructions – Thierry Coquand, Peter Dybjer - 1993
16 Pattern matching with dependent types. In Proceeding from the logical framework workshop at B*astad – Thierry Coquand - 1992
7 What is the status of pattern matching in type theory – Thierry Coquand, Jan Smith - 1993
65 Inductive Families – Peter Dybjer - 1997
30 Terminating General Recursion – Bengt Nordström - 1988
109 Inductively defined types – Thierry Coquand, Christine Paulin - 1988
260 Programming in Martin Löf’s Type Theory: An Introduction – B Nordström, K Petersson, J M Smith - 1990
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
58 Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 – J Cartmell - 1986