|
51
|
Computational Types from a Logical Perspective I
– P.N. Benton, G.M. Bierman, V.C.V. de Paiva
- 1995
|
|
23
|
Intuitionistic Necessity Revisited
– G. M. Bierman, V.C.V. de Paiva
- 1996
|
|
8
|
A Classical Linear λ-calculus
– G.M. Bierman
- 1997
|
|
143
|
A Judgmental Reconstruction of Modal Logic
– Frank Pfenning, Rowan Davies
- 1999
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
10
|
Natural Deduction for Non-Classical Logics
– David Basin, Sean Matthews, Luca Vigano
- 1996
|
|
7
|
Categorical and Kripke Semantics for Constructive Modal Logics
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
15
|
Categorical and Kripke Semantics for Constructive S4 Modal Logic
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
1
|
Call-by-name and call-by-value in normal modal logic
– Yoshihiko Kakutani
|
|
10
|
A Categorical Analysis of Multi-Level Languages (Extended Abstract)
– Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard
- 1999
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
|
6
|
Semantics of linear continuation-passing in call-by-name
– Masahito Hasegawa
- 2004
|
|
52
|
Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi
– Jean Gallier
- 1992
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
3
|
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics
– Natasha Alechina, Valeria de Paiva, Eike Ritter
- 1998
|
|
8
|
Classical linear logic of implications
– Masahito Hasegawa
- 2002
|
|
18
|
Logical Modalities and Multi-Stage Programming
– Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard
- 1999
|
|
2
|
On the Correspondence between Proofs and λ-Terms
– Jean Gallier
- 1997
|
|
4
|
On the Correspondence Between Proofs and λ-Terms
– Jean Gallier
- 1995
|
