|
14
|
On an Intuitionistic Modal Logic
– G M Bierman, V C V de Paiva
- 2001
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
51
|
Computational Types from a Logical Perspective I
– P.N. Benton, G.M. Bierman, V.C.V. de Paiva
- 1995
|
|
8
|
A Classical Linear λ-calculus
– G.M. Bierman
- 1997
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
|
1
|
Relational sheaves and predicate intuitionistic modal logic
– Barnaby P. Hilken
- 1999
|
|
5
|
On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions
– Marino Miculan
- 2000
|
|
19
|
Linear lambda-Calculus and Categorical Models Revisited
– Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland
- 1992
|
|
17
|
A General Semantics for Evaluation Logic
– Eugenio Moggi
- 1994
|
|
|
Part II Local Realizability Toposes and a Modal Logic for
– unknown authors
|
|
18
|
Developing Theories of Types and Computability via Realizability
– Lars Birkedal
- 2000
|
|
143
|
A Judgmental Reconstruction of Modal Logic
– Frank Pfenning, Rowan Davies
- 1999
|
|
10
|
Natural Deduction for Non-Classical Logics
– David Basin, Sean Matthews, Luca Vigano
- 1996
|
|
2
|
Physics, Topology, Logic and Computation: A Rosetta Stone
– John C. Baez, Mike Stay
- 2009
|
|
7
|
Categorical and Kripke Semantics for Constructive Modal Logics
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
3
|
A monadic formalization of ML5
– Daniel R. Licata, Robert Harper
- 2010
|
|
15
|
Categorical and Kripke Semantics for Constructive S4 Modal Logic
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
15
|
Cut Rules and Explicit Substitutions
– René Vestergaard, Joe Wells
- 2000
|
|
17
|
Deforestation for Higher-Order Functional Programs
– Simon David Marlow
- 1995
|
