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

170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
67 Retracing some paths in Process Algebra – Samson Abramsky
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
23 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
73 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
119 Respresentations of categories – M Barr - 1986
18 A categorical approach to linear logic, geometry of proofs and full completeness – Esfandiar Haghverdi - 2000
616 Light Linear Logic – Jean-yves Girard
149 The geometry of tensor calculus l – Andre Joyal, Ross Street - 1991
7 Nuclearity in the category of complete semilattices – D A Higgs, K A Rowe - 1989
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
245 Braided tensor categories – André Joyal, Ross Street - 1993
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
96 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994