On Computational Interpretations of the Modal Logic S4 IIIa. Termination, Confluence, Conservativity of λevQ (1996)

by Jean Goubault-Larrecq
Venue:INSTITUT FUR LOGIK, KOMPLEXITAT UND DEDUKTIONSSYSTEME, UNIVERSITAT
Citations:8 - 4 self

Active Bibliography

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
5 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
78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
12 Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions – Delia Kesner
27 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
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
41 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
The Lambda S-Calculus: Its Typed and Its Extended Versions – Fairouz Kamareddine, Alejandro Ríos - 1995
4 The Confluence of the ...-Calculus Via a Generalized Interpretation Method – Fairouz Kamareddine, Alejandro Ríos - 1996