Canonical typing and Π-conversion in the Barendregt Cube (1996)

Cached

Download Links

by Fairouz Kamareddine , Rob Nederpelt
Citations:4 - 3 self

Documents Related by Co-Citation

1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
21 Re reduction in the -calculus – F Kamareddine, R P Nederpelt - 1995
5 A useful -notation, Theoretical Computer Science 155 – F Kamareddine, R P Nederpelt - 1996
14 A unified approach to Type Theory through a refined λ-calculus – Fairouz Kamareddine, Rob Nederpelt - 1994
41 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993
4 The Categorical Abstract – G Cousineau, P-L Curien, M Mauny - 1987
2 On laziness and optimality in -interpreters: tools for specification and analysis – J Field - 1990
2 On the soundness of explicit substitution – J Krabbendam - 1993
45 Typed -calculi with explicit substitutions may not terminate – P-A Melli`es - 1995
6 λ-calculus à la de Bruijn & explicit substitution – F Kamareddine, A Rios - 1995
40 A Confluent Calculus of Substitutions – T Hardin, J-J Lévy - 1989
37 The Barendregt Cube with Definitions and Generalised Reduction – Roel Bloo, Fairouz Kamareddine, Rob Nederpelt - 1997
98 λυ, a calculus of explicit substitutions which preserves strong normalisation – Z Benaissa, D Briaud, P Lescanne, J Rouyer-Degli - 1996
151 Implementing Mathematics with The Nuprl Proof Development System – Robert L. Constable, Stuart F. Allen, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, Scott F. Smith, James T. Sasaki, S. F. Smith - 1986
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
1 The s-calculus: its typed and its extended versions, submitted – F Kamareddine, A Rios
1 The confluence of the s e -calculus via a generalised interpretation method, submitted – F Kamareddine, A Rios
2 Calculi of Generalised fi-Reduction and Explicit Substitutions: The Type free and Simply Typed Versions – F Kamareddine, R'ios, J B Wells - 1998