Weakly Distributive Categories (1991)

Cached

Download Links

by Cockett Seely , J. R. B. Cockett , R. A. G. Seely
Venue:Journal of Pure and Applied Algebra
Citations:117 - 19 self

Active Bibliography

3 Fock Space: A Model of Linear Exponential Types – R. F. Blute, Prakash Panangaden, R. A. G. Seely - 1994
1 Dialectica and Chu Constructions: Cousins? – Valeria De Paiva - 2006
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
38 Substructural Logics on Display – Rajeev Goré - 1998
73 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
22 From proof nets to the free *- autonomous category – François Lamarche, Lutz Strassburger - 2005
1 A Noncommutative Full Completeness Theorem (Extended Abstract) – R. F. Blute, P. J. Scott - 1996
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
5 Deep Inference Proof Theory Equals Categorical Proof Theory Minus Coherence – Dominic J. D. Hughes - 2004
Appl Categor Struct DOI 10.1007/s10485-010-9241-0 Deep Inference and Probabilistic Coherence Spaces – Richard Blute, Prakash Panangaden, Sergey Slavnov, R. Blute (b, P. Panangaden, S. Slavnov - 2009
8 The Logic of Linear Functors – Richard Blute, J.R.B. Cockett, R. A. G. Seely - 2002
Contents – Peter Selinger
10 Discrete Quantum Causal Dynamics – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2003
37 A survey of graphical languages for monoidal categories – Peter Selinger
10 Quantum information-flow, concretely, abstractly – Bob Coecke - 2004
12 Introducing categories to the practicing physicist. In: What is Category Theory – Bob Coecke - 2006
12 Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics – Vaughan Pratt - 1998