Preservation of Termination for Explicit Substitution (1997)

Cached

Download Links

by Carolus Johannes Bloo
Citations:41 - 1 self

Documents Related by Co-Citation

390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
98 λυ, a calculus of explicit substitutions which preserves strong normalisation – Z Benaissa, D Briaud, P Lescanne, J Rouyer-Degli - 1996
78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
120 Confluence properties of Weak and Strong Calculi of Explicit Substitutions – Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy - 1996
22 Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets – Roberto Di Cosmo, Delia Kesner - 1997
32 Explicit Substitutions with de Bruijn’s Levels – P Lescanne, J Rouyer-Degli - 1995
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
45 Typed -calculi with explicit substitutions may not terminate – P-A Melli`es - 1995
27 lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract) – Maria C.F. Ferreira, Delia Kesner, Laurence Puel - 1996
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
30 Explicit Substitution: on the Edge of Strong Normalization – Roel Bloo, Herman Geuvers - 1997
14 Un calcul de substitutions pour la representation de preuves partielles en theorie de types – C Munoz - 1997
26 Extending a -calculus with Explicit Substitution which Preserves Strong Normalisation into a Con Calculus on Open Terms – F Kamareddine, A Ros - 1997
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
65 Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection – Roel Bloo, Kristoffer H. Rose - 1995
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
41 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
15 From ## to ##, a journey through calculi of explicit substitutions – P Lescanne - 1994