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:14 - 5 self

Active Bibliography

7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
7 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
9 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
4 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
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
Abstract – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2008
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
9 Discrete Quantum Causal Dynamics – Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden - 2003
Linear functors and fixed points – Masuka Yeasin - 2012
36 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
39 Proofs nets for unit-free multiplicativeadditive linear logic – Dominic Hughes, Rob Van Glabbeek - 2003
8 Games in the Semantics of Programming Languages – Samson Abramsky - 1997