An Analysis of Girard's Paradox (1986)

Cached

Download Links

by Thierry Coquand
Venue:In Symposium on Logic in Computer Science
Citations:66 - 2 self

Documents Related by Co-Citation

473 The Calculus of Constructions – T Coquand, G Huet - 1988
60 Metamathematical investigations of a calculus of constructions. Rapport de recherche de l’INRIA – Coquand - 1989
854 A formulation of the simple theory of types – Alonzo Church - 1940
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
109 Inductively defined types – Thierry Coquand, Christine Paulin - 1988
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
36 The language theory of Automath – D T van Daalen - 1980
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
156 An intuitionistic theory of types: predicative part – P Martin-Löf - 1975
445 The formulae-as-types notion of construction – W A Howard - 1980
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
61 Lambda Calculi With Types, Handbook of Logic – H P Barendregt - 1992
40 Une Théorie des Constructions – T Coquand - 1985
90 A survey of the project AUTOMATH – N de Bruijn - 1980
342 Intuitionistic Type Theory – Per Martin-Löf - 1984