|
23
|
Categorical Models of Linear Logic Revisited
– Paul-andré Melliès
- 2003
|
|
1
|
Dialectica and Chu Constructions: Cousins?
– Valeria De Paiva
- 2006
|
|
19
|
Linear lambda-Calculus and Categorical Models Revisited
– Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland
- 1992
|
|
2
|
Curry-Howard Isomorphism and Intuitionistic Linear Logic
– Luca Roversi
- 1996
|
|
|
A Type-Free Resource-Aware λ-Calculus
– Luca Roversi
- 1996
|
|
31
|
Linear Logic, Monads and the Lambda Calculus
– Nick Benton, Philip Wadler
- 1996
|
|
5
|
Type Theories for Autonomous and *-Autonomous Categories: I. Type Theories and Rewrite Systems - II. Internal Languages and Coherence Theorems
– T. W. Koh, C. -h. L. Ong
- 1998
|
|
1
|
The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment)
– Kaustuv Chaudhuri
- 2003
|
|
1
|
Cause and Effect: Type Systems for Effects and Dependencies
– Geoffrey Washburn
- 2005
|
|
30
|
Focusing the inverse method for linear logic
– Kaustuv Chaudhuri, Stephen Brookes
- 2005
|
|
26
|
On Bunched Typing
– Peter O'Hearn
- 2002
|
|
31
|
Proof Search Issues In Some Non-Classical Logics
– Jacob M. Howe
- 1998
|
|
3
|
Categories for Computation in Context and Unified Logic: The "Intuitionist" Case
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
- 1997
|
|
51
|
Computational Types from a Logical Perspective I
– P.N. Benton, G.M. Bierman, V.C.V. de Paiva
- 1995
|
|
7
|
! and ? -- Storage as tensorial strength
– R. F. Blute, J. R.B. Cockett, R.A.G. Seely
- 1996
|
|
1
|
Internal Languages for Autonomous and *-Autonomous Categories
– T. W. Koh, C. -h. L. Ong
|
|
41
|
Applications of Linear Logic to Computation: An Overview
– Vladimir Alexiev
- 1993
|
|
7
|
Explicit Substitution Internal Languages for Autonomous and *-Autonomous Categories
– T. W. Koh, C. -h. L. Ong
- 1999
|
|
3
|
Fock Space: A Model of Linear Exponential Types
– R. F. Blute, Prakash Panangaden, R. A. G. Seely
- 1994
|
