|
9
|
Bridging de Bruijn indices and variable names in explicit substitutions calculi
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
|
A Left-linear Variant of λσ
– César A. Muñoz H.
- 1997
|
|
3
|
Dependent Types and Explicit Substitutions
– César Muñoz, C Esar, Mu Noz
- 1999
|
|
|
Operated by Universities Space Research Association
– César Muñoz
|
|
21
|
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
– Roberto Di Cosmo, Delia Kesner
- 1997
|
|
2
|
The theory of calculi with explicit substitutions revisited
– Delia Kesner
- 2007
|
|
7
|
Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions
– Fairouz Kamareddine , Alejandro Ríos, J. B. Wells
- 1998
|
|
|
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
|
|
|
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
|
|
4
|
The Confluence of the ...-Calculus Via a Generalized Interpretation Method
– 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
|
|
3
|
Relative Normalization in Stable Deterministic Residual Structures
– John Glauert, John Glauert, Zurab Khasidashvili, Zurab Khasidashvili
- 1996
|
|
2
|
Resource operators for λ-calculus
– Delia Kesner, Stéphane Lengrand
- 2007
|
|
7
|
Perpetual Reductions in λ-Calculus
– Femke Van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, B. Srensen, Hongwei Xi
- 1999
|
|
5
|
Perpetual Reductions in λ-Calculus
– Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi
- 1999
|
|
57
|
Higher-order rewrite systems and their confluence
– Richard Mayr
- 1998
|
|
|
Bridging the lambda sigma- and lambda s-Styles of Explicit Substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1997
|
|
|
Generalized Beta-Reduction and Explicit Substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
