|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
23
|
Intuitionistic Necessity Revisited
– G. M. Bierman, V.C.V. de Paiva
- 1996
|
|
77
|
A temporal-logic approach to binding-time analysis
– Rowan Davies
- 1996
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
18
|
and Valeria de Paiva, Intuitionistic necessity revisited, Logic at Work
– Gavin M Bierman
- 1992
|
|
115
|
Ideas and results in proof theory
– D Prawitz
- 1971
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
9
|
2-sequent calculus: Intuitionism and natural deduction
– A Masini
- 1993
|
|
11
|
On the Fine Structure of the Exponential Rule
– Simone Martini, Andrea Masini
- 1993
|
|
89
|
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report)
– P. N. Benton
- 1994
|
|
46
|
Operational Modal Logic
– Sergei N. Artemov
- 1995
|
|
44
|
and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts
– Flemming Nielson
- 1992
|
|
172
|
Logic Programming in the LF Logical Framework
– Frank Pfenning
- 1991
|
|
14
|
Coming to Terms with Modal Logic: On the interpretation of modalities in typed λ–calculus
– T Borghuis
- 1994
|
|
92
|
What is a Categorical Model of Intuitionistic Linear Logic?
– G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C
- 1995
|
|
14
|
2-sequent calculus: A proof-theory of modalities
– A Masini
- 1992
|
|
12
|
On a modal -calculus for S4
– Frank Pfenning, Hao-Chi Wong
- 1995
|
|
395
|
The formulae-as-types notion of construction
– W A Howard
- 1980
|
