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:103 - 7 self

Active Bibliography

88 Categorical Logic – Andrew M. Pitts - 1995
1 Graded Multicategories of Polynomial-time Realizers (Extended Abstract) – R.A.G. Seely, John Abbott College, Ste Anne De Bellevue - 1989
3 A Logical Calculus for Polynomial-time Realizability – J.N. Crossley, G.L. Mathai, R.A.G. Seely - 1991
12 Introducing categories to the practicing physicist. In: What is Category Theory – Bob Coecke - 2006
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
10 Discrete Quantum Causal Dynamics – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2003
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
3 Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms – Peter Selinger, Peter Selinger, Peter Selinger, Andre Scedrov - 1997
1 An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism РTill Mossakowski, Florian Rabe, Valeria De Paiva, Lutz Schr̦der, Joseph Goguen
unknown title – Masahito Hasegawa - 2010
10 Quantum information-flow, concretely, abstractly – Bob Coecke - 2004
A quantum double construction in Rel – Masahito Hasegawa - 2010
Contents – Peter Selinger
21 De-linearizing linearity: projective quantum axiomatics from strong compact closure – Bob Coecke - 2005
26 Abstract scalars, loops, and free traced and strongly compact closed categories – Samson Abramsky - 2005
37 A survey of graphical languages for monoidal categories – Peter Selinger
6 Semantics of linear continuation-passing in call-by-name – Masahito Hasegawa - 2004
11 Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994