Intuitionistic Necessity Revisited (1996)

by G. M. Bierman , V.C.V. de Paiva
Venue:PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE
Citations:23 - 7 self

Documents Related by Co-Citation

54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
28 A Computational Interpretation of Modal Proofs – Simone Martini, Andrea Masini - 1994
13 Monad as modality – S Kobayashi - 1997
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
61 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
126 Idea and result in proof theory – D Prawitz - 1971
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
445 The formulae-as-types notion of construction – W A Howard - 1980
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
88 Categorical Logic – Andrew M. Pitts - 1995
12 First-order Lax Logic as a Framework for Constraint Logic Programming – Matt Fairtlough , Michael Mendler, Matt Walton - 1997
141 Proofs and types, volume 7 of Cambridge Tracts – J-Y Girard, P Taylor, Y Lafont - 1989
18 An intuitionistic modal logic with applications to the formal verification of hardware – M Fairtlough, M Mendler - 1995
264 Constructive mathematics and computer programming – P Martin-Lof - 1982
225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
30 A framework for intuitionistic modal logic – G Plotkin, C Stirling - 1986
126 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996