Confluence properties of Weak and Strong Calculi of Explicit Substitutions (1996)

Cached

Download Links

by Pierre-Louis Curien , Therese Hardin , Jean-Jacques Levy
Venue:JOURNAL OF THE ACM
Citations:120 - 7 self

Active Bibliography

78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
565 Term Rewriting Systems – J. W. Klop - 1992
9 Bridging de Bruijn indices and variable names in explicit substitutions calculi – Fairouz Kamareddine, Alejandro Ríos - 1996
Calculi of Generalised beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine, Alejandro Ríos, J. B. Wells, Ro R'ios J. B. Wells - 1997
4 The Confluence of the ...-Calculus Via a Generalized Interpretation Method – Fairouz Kamareddine, Alejandro Ríos - 1996
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi – unknown authors
25 Explicit Cyclic Substitutions – Kristoffer Høgsbro Rose - 1993
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
4 Axiomatic Rewriting Theory I - A Diagrammatic Standardization Theorem – Paul-Andre Mellies, Equipe Preuves - 2001
Meta-theoretical properties of ...: A left-linear variant of ... – César A. Muñoz H., C'esar A. Mu~noz H - 1997
A Left-linear Variant of λσ – César A. Muñoz H. - 1997
12 Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions – Delia Kesner
2 On Explicit Substitutions and Names – Eike Ritter, Valeria De Paiva - 1997
3 Resource operators for λ-calculus – Delia Kesner, Stéphane Lengrand - 2007
10 Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus – César Augusto Muñoz Hurtado - 1995
14 Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine , Alejandro Ríos, J. B. Wells - 1998
22 Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets – Roberto Di Cosmo, Delia Kesner - 1997
Cours de Lambda-calcul – Ann'ee Th'er Ese
About the Confluence of Equational Pattern Rewrite Systems – Alexandre Boudet, Evelyne Contejean - 1998