A lambda-calculus à la de Bruijn with explicit substitutions (1995)

Cached

Download Links

by Fairouz Kamareddine , Alejandro Ríos
Citations:78 - 26 self

Active Bibliography

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
27 lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract) – Maria C.F. Ferreira, Delia Kesner, Laurence Puel - 1996
14 Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine , Alejandro Ríos, J. B. Wells - 1998
12 Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions – Delia Kesner
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi – unknown authors
2 Efficiency of Lambda-Calculi With Explicit Substitutions – Fairouz Kamareddine, Alejandro Ríos - 1996
120 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
22 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
65 Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection – Roel Bloo, Kristoffer H. Rose - 1995
7 Extending a lambda-calculus with Explicit Substitution which Preserves Strong Normalisation into a Confluent Calculus on Open Terms – Fairouz Kamareddine - 1993
10 Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus – César Augusto Muñoz Hurtado - 1995