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

Cached

Download Links

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

Documents Related by Co-Citation

390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
98 λυ, a calculus of explicit substitutions which preserves strong normalisation – Z Benaissa, D Briaud, P Lescanne, J Rouyer-Degli - 1996
45 Typed -calculi with explicit substitutions may not terminate – P-A Melli`es - 1995
120 Confluence properties of Weak and Strong Calculi of Explicit Substitutions – Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy - 1996
32 Explicit Substitutions with de Bruijn’s Levels – P Lescanne, J Rouyer-Degli - 1995
302 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
41 Preservation of Termination for Explicit Substitution – Carolus Johannes Bloo - 1997
12 Lambda-Calculus notation with namefree formulas involving symbols that represent reference transforming mappings – N de Bruijn - 1978
41 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993
12 The λs-calculus: its typed and its extended versions – F Kamareddine, A Ríos - 1995
40 A Confluent Calculus of Substitutions – T Hardin, J-J Lévy - 1989
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
22 Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract) – Delia Kesner - 1996
30 Explicit Substitution: on the Edge of Strong Normalization – Roel Bloo, Herman Geuvers - 1997
34 Confluence Results for the Pure Strong Categorical Logic CCL : λ-calculi as Subsystems of CCL – T Hardin
199 The Lambda Calculus: its Syntax and Semantics (revised ed – H P Barendregt - 1984
16 Combinatory Reduction Systems with Explicit Substitution – Roel Bloo, Kristoffer H. Rose - 1996
75 Categorical combinators, sequential algorithms and functional programming – P L Curien - 1986
25 Explicit Cyclic Substitutions – Kristoffer Høgsbro Rose - 1993