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

Documents Related by Co-Citation

6 On computational interpretations of the modal logic S4 II. The evQ-calculus – Jean Goubault-Larrecq - 1996
18 and Valeria de Paiva. Intuitionistic necessity revisited – G M Bierman - 1996
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
34 Syntactic Closures – Alan Bawden, Jonathan Rees - 1988
33 From oe to AE a journey through calculi of explicit substitutions – P Lescanne - 1994
40 A Confluent Calculus of Substitutions – T Hardin, J-J Lévy - 1989
5 Confluence and preservation of strong normalization in an explicit substitutions calculus – C A Munoz Hurtado - 1996
8 On Computational Interpretations of the Modal Logic S4 IIIa. Termination, Confluence, Conservativity of λevQ – Jean Goubault-Larrecq - 1996
12 On a modal -calculus for S4 – Frank Pfenning, Hao-Chi Wong - 1995
171 Introduction to Combinators and -Calculus – J Roger Hindley, Jonathan P Seldin - 1986
11 Calculus of fractions and homotopy theory, volume 35 of Ergebnisse der Math. und ihrer Grenzgebiete – P Gabriel, M Zisman - 1967
34 Confluence Results for the Pure Strong Categorical Logic CCL : λ-calculi as Subsystems of CCL – T Hardin
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
28 A Computational Interpretation of Modal Proofs – Simone Martini, Andrea Masini - 1994
5 Sequent Combinators: A Hilbert System for the Lambda Calculus – Healfdene Goguen - 1999
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993