Lambda Calculi with Types (1992)

by Henk Barendregt , S. Abramsky , D. M. Gabbay , T. S. E. Maibaum , H. P. Barendregt
Venue:Handbook of Logic in Computer Science
Citations:518 - 4 self

Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
107 An algorithm for testing conversion in Type Theory – Thierry Coquand - 1991
85 Pattern matching with dependent types – Thierry Coquand - 1992
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
44 Fully Reflexive Intensional Type Analysis – Valery Trifonov, Bratin Saha, Zhong Shao - 2000
473 The Calculus of Constructions – T Coquand, G Huet - 1988
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
43 Refinement Types for Logical Frameworks – Frank Pfenning - 1993
85 Logics and Type Systems – Jan Herman Geuvers, Herman Geuvers, Cover Jean, Bernard Koeman, Cip-gegevens Koninklijke Bibliotheek, Den Haag, Geuvers Jan Herman - 1993
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
83 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
22 Computation and deduction. Unpublished lecture notes – Frank Pfenning - 1994