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
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
7 The Logic of Linear Functors – Richard Blute, J.R.B. Cockett, R. A. G. Seely - 2002
209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
38 A survey of graphical languages for monoidal categories – Peter Selinger
10 A convenient differential category – Richard Blute, Thomas Ehrhard, Christine Tasson - 2011
9 Polarized category theory, modules and game semantics – J. R. B. Cockett, R. A. G. Seely - 2004
4 Categories for Computation in Context and Unified Logic: The "Intuitionist" Case – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1997
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996