On Computational Interpretations of the Modal Logic S4 I. Cut Elimination (1996)

by Jean Goubault-larrecq
Venue:Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat
Citations:8 - 6 self

Active Bibliography

5 Logical Foundations of Eval/Quote Mechanisms, and the Modal Logic S4 – Jean Goubault-larrecq - 1997
3 On the geometry of intuitionistic S4 proofs – Jean Goubault-larrecq, Eric Goubault - 2003
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
6 Order-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 Proofs – Jean Goubault-Larrecq , Eric Goubault - 1999
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
1 Soundness and Principal Contexts for a Shallow Polymorphic Type System based on Classical Logic – Alexander J. Summers
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
On Computational Interpretations of the Modal Logic S4 - II. The lambda evQ-Calculus – Jean Goubault-larrecq - 1996
On Computational Interpretations of the Modal Logic S4 II. The – Evq-Calculus Jean Goubault-Larrecq, Jean Goubault-larrecq - 1996
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
3 Metatheoretical Results for a Modal λ-Calculus – Joelle Despeyroux, Pierre Leleu, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, B. Jayaraman, A. Krall, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, P. Van, Hentenryck D. S. Warren - 2000
1 A Modal Lambda Calculus with Iteration and Case Constructs – Joëlle Despeyroux, Pierre Leleu - 1998
14 Recursion over Objects of Functional Type – Joëlle Despeyroux, Pierre Leleu - 1999
3 Metatheoretical Results for a Modal λ-Calculus – Joelle Despeyroux, Pierre Leleu - 2000
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
7 On a Modal \lambda-Calculus for S4* – F. Pfenning, H. C. Wong - 1995
40 Quasiquotation in Lisp – Alan Bawden - 1999
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
5 A Few Remarks on SKInT – Jean Goubault-Larrecq - 1998