On an Intuitionistic Modal Logic (2001)

Cached

Download Links

by G M Bierman , V C V de Paiva
Venue:Studia Logica
Citations:19 - 4 self

Documents Related by Co-Citation

185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
23 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
730 Notions of Computation and Monads – Eugenio Moggi - 1991
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
19 Constructive modal logics I – Duminda Wijesekera - 1990
57 Contextual modal type theory – A Nanevski, F Pfenning, B Pientka
10 Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic – Gianluigi Bellin, Valeria de Paiva, Eike Ritter - 2001
61 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1312 Monads for functional programming – Philip Wadler - 1995
14 Relating Categorical Semantics for Intuitionistic Linear Logic – Maria Emilia Maietti, Paola Maneggia, Valeria De Paiva, Eike Ritter - 2005
103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
13 Monad as modality – S Kobayashi - 1997
348 Notes On Formalizing Context – John McCarthy - 1993
141 Many-dimensional modal logics: theory and applications – D Gabbay, A Kurucz, F Wolter, M Zakharyaschev - 2003
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
7 Categorical and Kripke Semantics for Constructive Modal Logics – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998