Logics and Type Systems (1993)

Cached

Download Links

by Jan Herman Geuvers , Herman Geuvers , Cover Jean , Bernard Koeman , Cip-gegevens Koninklijke Bibliotheek , Den Haag , Geuvers Jan Herman
Citations:84 - 5 self

Documents Related by Co-Citation

520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
473 The Calculus of Constructions – T Coquand, G Huet - 1988
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
27 Type Dependency and Constructive Mathematics – S Berardi - 1990
29 Checking Algorithms for Pure Type Systems – L.S. van Benthem Jutting, J. McKinna, R. Pollack - 1993
43 Modular proof of strong normalization for the calculus of constructions – H Geuvers, M-J Nederhof - 1991
68 The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions – Robert Pollack - 1994
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
109 Inductively defined types – Thierry Coquand, Christine Paulin - 1988
28 Introduction to Generalised Type Systems – H P Barendregt - 1991
25 The constructive engine – Gerard Huet - 1989
854 A formulation of the simple theory of types – Alonzo Church - 1940
36 Proof Development System: User’s Manual – LEGO - 1992
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
20 A Proof of Strong Normalization For the Theory of Constructions Using a Kripke-Like Interpretation – Thierry Coquand, Jean Gallier, Le Chesnay Cedex - 1990
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
28 Semantics of Type Theory – Streicher - 1991
5 Benthem Jutting. Typing in Pure Type Sytems – L S van - 1993
4 Introduction to Generalised Type Sytems – Henk Barendregt - 1991