Nuclear and Trace Ideals in Tensored *-Categories (1998)

Cached

Download Links

by Samson Abramsky , Richard Blute , Prakash Panangaden
Citations:26 - 9 self

Documents Related by Co-Citation

67 Retracing some paths in Process Algebra – Samson Abramsky
153 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
32 Glueing and Orthogonality for Models of Linear Logic – Martin Hyland, Andrea Schalk - 2003
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
10 Unique decomposition categories, geometry of interaction and combinatory logic – E Haghverdi
50 Proof-nets and the Hilbert space – V. Danos, L. Regnier - 1995
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
616 Light Linear Logic – Jean-yves Girard
119 Respresentations of categories – M Barr - 1986
41 A categorical approach to probability theory – M Giry - 1981
111 Coherence for compact closed categories – M Kelly, M Laplaza - 1980
16 Feedback for Linearly Distributive Categories: Traces and Fixpoints – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1999
32 Geometry of interaction II: deadlock-free algorithms – J Y Girard
29 Geometry of Interaction III: Accommodating the Additives – Jean-yves Girard - 1995
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
18 A categorical approach to linear logic, geometry of proofs and full completeness – Esfandiar Haghverdi - 2000
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997