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
566 Term Rewriting Systems – J. W. Klop - 1992
1 A Proof of Weak Termination of Typed λσ-Calculi – Jean Goubault-Larrecq - 1998
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
453 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996