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

Documents Related by Co-Citation

166 Traced monoidal categories – A Joyal, R Street, D Verity - 1996
72 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
65 Retracing some paths in Process Algebra – Samson Abramsky
625 Light Linear Logic – Jean-yves Girard
100 Geometry of Interaction I: Interpretation of system F – J Y Girard - 1988
1382 Quantum Computation and Quantum Information – Michael A Nielsen, Isaac L Chuang - 2000
1601 The analysis of linear partial differential operators – Lars HoĢˆrmander - 2007
515 Foundations of Quantum Group Theory – S Majid - 1995
692 Quantum theory: concepts and methods – A Peres - 1993