|
5
|
Logical Foundations of Eval/Quote Mechanisms, and the Modal Logic S4
– Jean Goubault-larrecq
- 1997
|
|
1
|
A Proof of Weak Termination of Typed λσ-Calculi
– Jean Goubault-larrecq
|
|
3
|
A Few Remarks on SKInT
– Jean Goubault-Larrecq
- 1998
|
|
4
|
Conjunctive Types and SKInT
– Jean Goubault-Larrecq
- 1999
|
|
|
A Proof of Weak Termination of the Simply-Typed λσ-Calculus
– Jean Goubault-larrecq, Jean Goubault-larrecq
- 1997
|
|
4
|
The Calculus of Explicit Substitutions
– Pierre Lescanne, Jocelyne Rouyer-Degli
- 1994
|
|
|
Meta-theoretical properties of ...: A left-linear variant of ...
– César A. Muñoz H., C'esar A. Mu~noz H
- 1997
|
|
72
|
A lambda-calculus à la de Bruijn with explicit substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1995
|
|
10
|
Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions
– Delia Kesner
|
|
26
|
lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract)
– Maria C.F. Ferreira, Delia Kesner, Laurence Puel
- 1996
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
|
On Intuitionistic S4 and Augmented Simplicial Sets
– Jean Goubault-Larrecq, Eric Goubault
|
|
31
|
A Notation for Lambda Terms I: A Generalization of Environments
– Gopalan Nadathur, Debra Sue Wilson
- 1994
|
|
38
|
Preservation of Termination for Explicit Substitution
– Carolus Johannes Bloo
- 1997
|
|
2
|
On Explicit Substitutions and Names
– Eike Ritter, Valeria De Paiva
- 1997
|
|
|
A Left-linear Variant of λσ
– César A. Muñoz H.
- 1997
|
|
6
|
On Explicit Substitutions and Names (Extended Abstract)
– Eike Ritter, Valeria De Paiva
- 1997
|
|
|
Generalized Beta-Reduction and Explicit Substitutions
– Fairouz Kamareddine, Alejandro Ríos
- 1996
|
|
|
The Lambda S-Calculus: Its Typed and Its Extended Versions
– Fairouz Kamareddine, Alejandro Ríos
- 1995
|
