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

Documents Related by Co-Citation

165 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
100 Geometry of Interaction I: interpretation of system F – J-Y Girard - 1989
66 Retracing some paths in Process Algebra – Samson Abramsky
43 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
22 Linearly Distributive Functors – J.R.B. Cockett, R.A.G. Seely - 1997
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
115 autonomous categories – M Barr - 1980
67 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
18 A categorical approach to linear logic, geometry of proofs and full completeness – Esfandiar Haghverdi - 2000
614 Light Linear Logic – Jean-yves Girard
147 The geometry of tensor calculus, I – A Joyal, R Street - 1991
7 Nuclearity in the category of complete semilattices – D A Higgs, K A Rowe - 1989
26 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
243 Braided tensor categories – A Joyal, R Street - 1991
6 Dual intuitionistic linear logic (manuscript). An earlier version available as – A Barber, G Plotkin - 1997
38 Linear logic,” Theoretical – J-Y Girard - 1987
5 GS·Λ theories: A syntax for higher-order graphs – M Coccia, F Gadducci, U Montanari - 2003
25 An order-algebraic definition of Knuthian semantics – L Chirica, D Martin - 1979