Linear Logic, -Autonomous Categories and Cofree Coalgebras (1989)

Cached

Download Links

by R.A.G. Seely
Venue:In Categories in Computer Science and Logic
Citations:102 - 7 self

Documents Related by Co-Citation

614 Light Linear Logic – Jean-yves Girard
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
99 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
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
91 The linear abstract machine – Yves Lafont - 1988
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
72 A syntax for linear logic – Philip Wadler - 1993
134 Linear Types Can Change the World! – Philip Wadler - 1990
88 Is there a use for linear logic? – Philip Wadler - 1991
44 Lilac: A functional programming language based on linear logic – Ian Mackie - 1994
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
115 autonomous categories – M Barr - 1980
19 A linear functional language – S Holmström - 1988
126 The formal theory of monads – Ross Street - 1972
85 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic – V M Abrusci - 1991
238 The Lazy Lambda Calculus – Samson Abramsky - 1990
919 Categories for the working mathematician – Mac Lane, S - 1971
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
1323 A Calculus of Communicating Systems – R Milner