Feedback for Linearly Distributive Categories: Traces and Fixpoints (1999)

Cached

Download Links

by R. F. Blute , J.R.B. Cockett , R.A.G. Seely
Citations:16 - 6 self

Active Bibliography

7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
8 The Logic of Linear Functors – Richard Blute, J.R.B. Cockett, R. A. G. Seely - 2002
unknown title – unknown authors - 2006
4 Categories for Computation in Context and Unified Logic: The "Intuitionist" Case – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1997
10 Restriction Categories I – R. F. Blute, J. R. B. Cockett, R. A. G. Seely - 2006
10 Polarized category theory, modules and game semantics – J. R. B. Cockett, R. A. G. Seely - 2004
Generalised Proof-Nets for Compact Categories with Biproducts – n.n. - 2009
5 On categorical models of classical logic and the geometry of interaction – Carsten Führmann, David Pym - 2005
3 Fock Space: A Model of Linear Exponential Types – R. F. Blute, Prakash Panangaden, R. A. G. Seely - 1994
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
4 Coherence of the Double Involution on *- Autonomous Categories. Theory and Applications of Category Theory – J. R. B. Cockett, M. Hasegawa, R. A. G. Seely - 2005
Contents – Peter Selinger
10 Discrete Quantum Causal Dynamics – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2003
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
Statistics – Masuka Yeasin, Dr. Kristine Bauer, Dr. Philip, W. L. Fong - 2012
Abstract – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2008
37 A survey of graphical languages for monoidal categories – Peter Selinger
Proof Nets for Unit-free Multiplicative-Additive Linear Logic – Extended Dominic, Dominic Hughes, Rob Van Glabbeek - 2003
Technical Report Softness of Hypercoherences and MALL Full Completeness – Richard Blute, Masahiro Hamano, Philip Scott - 2003