|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
18
|
Constructive modal logics I
– Duminda Wijesekera
- 1990
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
143
|
A Judgmental Reconstruction of Modal Logic
– Frank Pfenning, Rowan Davies
- 1999
|
|
15
|
Categorical and Kripke Semantics for Constructive S4 Modal Logic
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
9
|
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
– Gianluigi Bellin, Valeria de Paiva, Eike Ritter
- 2001
|
|
53
|
Propositional Lax Logic
– Matt Fairtlough, Michael Mendler
- 1997
|
|
97
|
Linear Logic, -Autonomous Categories and Cofree Coalgebras
– R.A.G. Seely
- 1989
|
|
13
|
Relating Categorical Semantics for Intuitionistic Linear Logic
– Maria Emilia Maietti, Paola Maneggia, Valeria De Paiva, Eike Ritter
- 2005
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
310
|
Notes On Formalizing Context
– John McCarthy
- 1993
|
|
7
|
Categorical and Kripke Semantics for Constructive Modal Logics
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
395
|
The formulae-as-types notion of construction
– W A Howard
- 1980
|
|
123
|
Introduction to Higher-Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
6
|
Codata and comonads
– R B Kieburtz
- 1999
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
24
|
Computational Comonads and Intensional Semantics
– Stephen Brookes, Shai Geva
- 1991
|
