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

Documents Related by Co-Citation

616 Light Linear Logic – Jean-yves Girard
103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
96 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
97 On closed categories of functors – B Day - 1970
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
930 Categories for the Working Mathematician – S Mac Lane - 1971
141 Proofs and types, volume 7 of Cambridge Tracts – J-Y Girard, P Taylor, Y Lafont - 1989
72 A syntax for linear logic – Philip Wadler - 1993
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
16 Axioms for full abstraction and full completeness – S Abramsky - 1996
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
45 Game semantics and abstract machines – V Danos, H Herbelin, L Regnier - 1996
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
38 Processes: A Mathematical Model of Computing Agents – R Milner
134 Linear Types Can Change the World! – Philip Wadler - 1990
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992