|
72
|
A lambda-calculus à la de Bruijn with explicit substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1995
|
|
550
|
Term Rewriting Systems
– J. W. Klop
- 1992
|
|
9
|
Bridging de Bruijn indices and variable names in explicit substitutions calculi
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
|
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
|
|
10
|
Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions
– Delia Kesner
|
|
4
|
The Confluence of the ...-Calculus Via a Generalized Interpretation Method
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
22
|
Explicit Cyclic Substitutions
– Kristoffer Høgsbro Rose
- 1993
|
|
31
|
A Notation for Lambda Terms I: A Generalization of Environments
– Gopalan Nadathur, Debra Sue Wilson
- 1994
|
|
4
|
Axiomatic Rewriting Theory I - A Diagrammatic Standardization Theorem
– Paul-Andre Mellies, Equipe Preuves
- 2001
|
|
|
Meta-theoretical properties of ...: A left-linear variant of ...
– César A. Muñoz H., C'esar A. Mu~noz H
- 1997
|
|
|
A Left-linear Variant of λσ
– César A. Muñoz H.
- 1997
|
|
2
|
On Explicit Substitutions and Names
– Eike Ritter, Valeria De Paiva
- 1997
|
|
2
|
Resource operators for λ-calculus
– Delia Kesner, Stéphane Lengrand
- 2007
|
|
9
|
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus
– César Augusto Muñoz Hurtado, Calcul Symbolique, Projet Coq
- 1995
|
|
7
|
Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions
– Fairouz Kamareddine , Alejandro Ríos, J. B. Wells
- 1998
|
|
21
|
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
– Roberto Di Cosmo, Delia Kesner
- 1997
|
|
|
Cours de Lambda-calcul
– Ann'ee Th'er Ese
|
|
|
About the Confluence of Equational Pattern Rewrite Systems
– Alexandre Boudet, Evelyne Contejean
- 1998
|
|
5
|
Sequent Combinators: A Hilbert System for the Lambda Calculus
– Healfdene Goguen
- 1999
|
