What is a Categorical Model of Intuitionistic Linear Logic? (1995)

Cached

Download Links

by G.M. Bierman , A \gamma A , Gamma \delta \gamma C , Gamma I \gamma A , Gamma A B \gamma C , B \gamma C
Citations:99 - 5 self

Active Bibliography

23 Categorical Models of Linear Logic Revisited – Paul-andré Melliès - 2003
1 Dialectica and Chu Constructions: Cousins? – Valeria De Paiva - 2006
22 Linear lambda-Calculus and Categorical Models Revisited – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1992
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
2 Curry-Howard Isomorphism and Intuitionistic Linear Logic – Luca Roversi - 1996
A Type-Free Resource-Aware λ-Calculus – Luca Roversi - 1996
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
1 Cause and Effect: Type Systems for Effects and Dependencies – Geoffrey Washburn - 2005
2 The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment) – Kaustuv Chaudhuri - 2003
33 On Bunched Typing – Peter O'Hearn - 2002
38 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
88 Categorical Logic – Andrew M. Pitts - 1995
36 Proof Search Issues In Some Non-Classical Logics – Jacob M. Howe - 1998
1 Internal Languages for Autonomous and *-Autonomous Categories – T. W. Koh, C. -h. L. Ong
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
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
9 ! and ? -- Storage as tensorial strength – R. F. Blute, J. R.B. Cockett, R.A.G. Seely - 1996
4 Categories for Computation in Context and Unified Logic: The "Intuitionist" Case – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1997