Normalisation in Lambda Calculus and its relation to Type Inference (1996)

by Paula Gabriela Severi
Citations:15 - 1 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
29 Checking Algorithms for Pure Type Systems – L.S. van Benthem Jutting, J. McKinna, R. Pollack - 1993
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
249 Combinatory Reduction Systems – J W Klop - 1980
215 Intensional interpretation of functionals of finite type – W W Tait - 1967
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
68 The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions – Robert Pollack - 1994
10 A rewriting system for categorical combinators with multiple arguments – H Yokouchi, T Hikita - 1988
38 Computational Aspects of an Order-Sorted Logic with Term Declarations – M Schmidt-Schauss - 1989
17 Formulation of Martin-Löf's theory of types with explicit substitutions – Alvaro Tasistro - 1993
20 Categorical abstract machines for higher-order typed lambdacalculi – Eike Ritter - 1994
86 Termination of Term Rewriting By Semantic Labelling – H. Zantema - 1995
98 λυ, a calculus of explicit substitutions which preserves strong normalisation – Z Benaissa, D Briaud, P Lescanne, J Rouyer-Degli - 1996
85 Logics and Type Systems – Jan Herman Geuvers, Herman Geuvers, Cover Jean, Bernard Koeman, Cip-gegevens Koninklijke Bibliotheek, Den Haag, Geuvers Jan Herman - 1993
17 Compositional Characterizations of λ-terms using Intersection Types (Extended Abstract) – M. Dezani-Ciancaglini, F. Honsell, Y. Motohama - 2000
218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
36 Typing and computation properties of lambda expressions – D Leivant - 1986
21 Strong normalization and typability with intersection types – Silvia Ghilezan - 1996