|
9
|
Bridging de Bruijn indices and variable names in explicit substitutions calculi
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
4
|
The Confluence of the ...-Calculus Via a Generalized Interpretation Method
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
|
Bridging the lambda sigma- and lambda s-Styles of Explicit Substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1997
|
|
|
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
|
|
|
Generalized Beta-Reduction and Explicit Substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
26
|
lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract)
– Maria C.F. Ferreira, Delia Kesner, Laurence Puel
- 1996
|
|
7
|
Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions
– Fairouz Kamareddine , Alejandro Ríos, J. B. Wells
- 1998
|
|
10
|
Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions
– Delia Kesner
|
|
1
|
Efficiency of Lambda-Calculi With Explicit Substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
114
|
Confluence properties of Weak and Strong Calculi of Explicit Substitutions
– Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy
- 1996
|
|
22
|
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract)
– Delia Kesner
- 1996
|
|
|
The Lambda S-Calculus: Its Typed and Its Extended Versions
– Fairouz Kamareddine, Alejandro Ríos
- 1995
|
|
21
|
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
– Roberto Di Cosmo, Delia Kesner
- 1997
|
|
|
Higher Order Unification via ...-Style of Explicit Substitution
– Mauricio Ayala-Rincon, Fairouz Kamareddine
|
|
|
Meta-theoretical properties of ...: A left-linear variant of ...
– César A. Muñoz H., C'esar A. Mu~noz H
- 1997
|
|
54
|
Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection
– Roel Bloo, Kristoffer H. Rose
- 1995
|
|
6
|
Extending a lambda-calculus with Explicit Substitution which Preserves Strong Normalisation into a Confluent Calculus on Open Terms
– Fairouz Kamareddine
- 1993
|
|
9
|
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus
– César Augusto Muñoz Hurtado, Calcul Symbolique, Projet Coq
- 1995
|
|
2
|
Unification via the ...-Style of Explicit Substitutions
– MAURICIO Ayala-Rincon
- 2001
|
