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

518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
471 The calculus of constructions – Thierry Coquand, Gérard P Huet - 1988
285 Interpre'tation fonctionelle et e'limination des coupures duns l'arithme'tique d'ordre supe'rieure – J-Y Girard - 1972
28 Type Dependence and Constructive Mathematics – S Berardi - 1989
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 Irlductively defined types – T Coquand, C Paulin - 1990
28 Introduction to Generalised Type Systems – H P Barendregt - 1991
25 The constructive engine – Gerard Huet - 1989
847 A formulation of the simple theory of types – A 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 – T Streicher - 1991
5 Benthem Jutting. Typing in Pure Type Sytems – L S van - 1993
4 Introduction to Generalised Type Sytems – Henk Barendregt - 1991