Martini, S. and Masini, A. (1994). A computational interpretation of modal proofs. In Wansing, H., editor, Proof Theory of Modal Logics. Kluwer. Workshop proceedings. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Judgmental Reconstruction of Modal Logic - Pfenning, Davies (2001) (1 citation) (Correct)
A Temporal-Logic Approach to Binding-Time Analysis - Davies (1995) (75 citations) (Correct)
Extended Curry-Howard Correspondence for a Basic.. - Bellin, de Paiva, Ritter (2001) (Correct)
Encoding Modal Logics in Logical Frameworks - Arnon Avron Furio (1997) (4 citations) (Correct)
Explicit Provability and Constructive Semantics - Artemov (2000) (1 citation) (Correct)
Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
Proof Realizations of Typed lambda-Calculi - Artemov (1997) (Correct)
Logic of Proofs: a Unified Semantics for Modality and lambda-Terms - Artemov (1998) (Correct)
Deep Isomorphism of Modal Derivations and λ-Terms - Artemov (1999) (Correct)
On an Intuitionistic Modal Logic - Bierman, de Paiva (2001) (2 citations) (Correct)
Logical Modalities and Multi-Stage Programming - Zine El-Abidine Benaissa (1999) (Correct)
A Judgmental Reconstruction of Modal Logic - Pfenning, Davies (2001) (1 citation) (Correct)
A Categorical Analysis of Multi-Level Languages.. - Benaissa, Moggi, Taha, .. (1999) (Correct)
A Judgmental Reconstruction of Modal Logic - Pfenning, Davies (1999) (1 citation) (Correct)
Logical Modalities and Multi-Stage Programming - Benaissa, Moggi, Taha, Sheard (1999) (4 citations) (Correct)
A Modal Analysis of Staged Computation - Davies, Pfenning (1995) (124 citations) (Correct)
Unified Semantics for Modality and lambda-terms via Proof.. - Artemov (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
A Modal Analysis of Staged Computation - Davies, Pfenning (1999) (124 citations) (Correct)
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
Electronic Notes in Computer Science 1 (1995) - On Modal Calculus (1995) (4 citations) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1999) (124 citations) (Correct)
Extended Curry-Howard Correspondence for a Basic.. - Bellin, de Paiva, Ritter (2001) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC