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
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
286 Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur – Jean-Yves Girard - 1972
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
245 Combinatory Reduction System – J W Klop - 1980
478 The calculus of constructions – G Huet Coquand - 1988
211 Intensional interpretations of functionals of finite type I – W W Tait - 1967
857 A formulation of the simple theory of types – Alonzo Church - 1940