On an Intuitionistic Modal Logic (2001)

Cached

Download Links

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

Documents Related by Co-Citation

188 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
162 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
24 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
1318 Monads for functional programming – Philip Wadler - 1995
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991