|
4
|
The Calculus of Explicit Substitutions
– Pierre Lescanne, Jocelyne Rouyer-Degli
- 1994
|
|
34
|
Cyclic Lambda Graph Rewriting
– Zena M. Ariola, Jan Willem Klop
- 1994
|
|
5
|
Explicit Substitutions and Programming Languages
– Jean-jacques Lévy, Luc Maranget
- 1999
|
|
72
|
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
|
|
7
|
Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions
– Fairouz Kamareddine , Alejandro Ríos, J. B. Wells
- 1998
|
|
|
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
|
|
31
|
A Notation for Lambda Terms I: A Generalization of Environments
– Gopalan Nadathur, Debra Sue Wilson
- 1994
|
|
95
|
Higher-order Unification via Explicit Substitutions (Extended Abstract)
– Gilles Dowek, Thérèse Hardin, Claude Kirchner
- 1995
|
|
550
|
Term Rewriting Systems
– J. W. Klop
- 1992
|
|
38
|
Preservation of Termination for Explicit Substitution
– Carolus Johannes Bloo
- 1997
|
|
7
|
A confluent calculus of macro expansion and evaluation
– Ana Bove, Laura Arbillay
- 1992
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
|
|
Explicit Substitutions for the λΔ-calculus
– Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
|
|
9
|
Bridging de Bruijn indices and variable names in explicit substitutions calculi
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
|
From λσ to λν - a Journey through Calculi of Explicit Substitutions
– Pierre Lescanne
- 1994
|
