Explicit substitutions (1996)

by M. Abadi , L. Cardelli , P.-L. Curien , J.-J. Lévy
Citations:390 - 11 self

Active Bibliography

4 The Calculus of Explicit Substitutions – Pierre Lescanne, Jocelyne Rouyer-Degli - 1994
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
5 Explicit Substitutions and Programming Languages – Jean-jacques Lévy, Luc Maranget - 1999
78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
FOR THE – Andrew Jude Gacek, Gopalan Nadathur, Andrew Jude Gacek, Gopalan Nadathur Advisor - 2006
1 Explicit Substitutions for Control Operators – Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos - 1997
14 Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine , Alejandro Ríos, J. B. Wells - 1998
120 Confluence properties of Weak and Strong Calculi of Explicit Substitutions – Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy - 1996
Meta-theoretical properties of ...: A left-linear variant of ... – César A. Muñoz H., C'esar A. Mu~noz H - 1997
22 Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract) – Delia Kesner - 1996
Generalized Beta-Reduction and Explicit Substitutions – Fairouz Kamareddine, Alejandro Ríos - 1996
The Lambda S-Calculus: Its Typed and Its Extended Versions – Fairouz Kamareddine, Alejandro Ríos - 1995
4 The Confluence of the ...-Calculus Via a Generalized Interpretation Method – Fairouz Kamareddine, Alejandro Ríos - 1996
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
567 Term Rewriting Systems – J. W. Klop - 1992
41 Preservation of Termination for Explicit Substitution – Carolus Johannes Bloo - 1997
7 A confluent calculus of macro expansion and evaluation – Ana Bove, Laura Arbillay - 1992
Explicit Substitutions for the λΔ-calculus – Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos