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

Cached

Download Links

by Maria C.F. Ferreira , Delia Kesner , Laurence Puel
Citations:27 - 3 self

Documents Related by Co-Citation

390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
120 Confluence properties of Weak and Strong Calculi of Explicit Substitutions – Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy - 1996
78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
65 Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection – Roel Bloo, Kristoffer H. Rose - 1995
22 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 – P Lescanne, J Rouyer-Degli - 1995
98 λυ, a calculus of explicit substitutions which preserves strong normalisation – Z Benaissa, D Briaud, P Lescanne, J Rouyer-Degli - 1996
45 Typed -calculi with explicit substitutions may not terminate – P-A Melli`es - 1995
41 Preservation of Termination for Explicit Substitution – Carolus Johannes Bloo - 1997
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
302 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
26 Extending a -calculus with Explicit Substitution which Preserves Strong Normalisation into a Con Calculus on Open Terms – F Kamareddine, A Ros - 1997
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
18 The λse-calculus does not preserve strong normalisation – B Guillaume
199 The Lambda Calculus: its Syntax and Semantics (revised ed – H P Barendregt - 1984
20 Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus – César Muñoz, Inria Rocquencourt - 1996
10 Un calcul de substitutions avec étiquettes – B Guillaume - 1999
9 Higher order equational unification via explicit substitutions – C Kirchner, C Ringeissen - 1997
15 From ## to ##, a journey through calculi of explicit substitutions – P Lescanne - 1994