|
359
|
Explicit substitutions
– M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy
- 1996
|
|
72
|
A lambda-calculus à la de Bruijn with explicit substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1995
|
|
114
|
Confluence properties of Weak and Strong Calculi of Explicit Substitutions
– Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy
- 1996
|
|
54
|
Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection
– Roel Bloo, Kristoffer H. Rose
- 1995
|
|
30
|
Explicit substitutions with de Bruijn levels
– Pierre Lescanne, Jocelyne Rouyer-Degli
- 1995
|
|
22
|
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract)
– Delia Kesner
- 1996
|
|
38
|
Preservation of Termination for Explicit Substitution
– Carolus Johannes Bloo
- 1997
|
|
90
|
λυ, a calculus of explicit substitutions which preserves strong normalisation
– Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli
- 1996
|
|
95
|
Higher-order Unification via Explicit Substitutions (Extended Abstract)
– Gilles Dowek, Thérèse Hardin, Claude Kirchner
- 1995
|
|
51
|
Unification via Explicit Substitutions: The Case of Higher-Order Patterns
– Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning
- 1998
|
|
45
|
Typed -calculi with explicit substitutions may not terminate
– P-A Melli`es
- 1995
|
|
278
|
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem
– N. G. De Bruijn
- 1972
|
|
26
|
Extending a -calculus with Explicit Substitution which Preserves Strong Normalisation into a Con Calculus on Open Terms
– F Kamareddine, A Ros
- 1997
|
|
16
|
The s e -calculus Does Not Preserve Strong Normalization
– B Guillaume
- 2000
|
|
9
|
Higher order equational unification via explicit substitutions
– C Kirchner, C Ringeissen
- 1997
|
|
20
|
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus
– César Muñoz, Inria Rocquencourt
- 1996
|
|
15
|
From � � to �¡ : a journey through calculi of explicit substitutions
– P Lescanne
- 1994
|
|
182
|
The Lambda Calculus: Its Syntax and Semantics, revised Edition
– H Barendregt
- 1984
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
