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
158 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
100 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
60 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1305 Monads for functional programming – Philip Wadler - 1995
102 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
14 Relating Categorical Semantics for Intuitionistic Linear Logic – Maria Emilia Maietti, Paola Maneggia, Valeria De Paiva, Eike Ritter - 2005
13 Monad as modality – Satoshi Kobayashi - 1997
347 Notes On Formalizing Context – John McCarthy - 1993
141 Manydimensional modal logics: theory and applications – Dov M Gabbay, Agnes Kurucz, Frank Wolter, Michael 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
91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998