lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract) (1996)

View PDF

Download Links

by Maria C.F. Ferreira , Delia Kesner , Laurence Puel
Citations:29 - 4 self

Documents Related by Co-Citation

410 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
90 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
130 Confluence properties of Weak and Strong Calculi of Explicit Substitutions – Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy - 1996
69 Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection – Roel Bloo, Kristoffer H. Rose - 1995
24 Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract) – Delia Kesner - 1996
32 Explicit Substitutions with de Bruijn’s Levels – Pierre Lescanne, Jocelyne Rouyer-degli - 1995
111 a calculus of explicit substitutions which preserves strong normalisation – Z Benaissa, D Briaud, P Lescanne, J Rouyer-Degli - 1996
43 Preservation of Termination for Explicit Substitution – Carolus Johannes Bloo - 1997
320 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972