Discrete Quantum Causal Dynamics (2003)

by Richard F. Blute , Ivan T. Ivanov , Prakash Panangaden
Venue:International Journal of Theoretical Physics
Citations:8 - 4 self

Active Bibliography

5 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
Alogicalbasisforquantumevolutionand entanglement – Richard F. Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger - 2011
22 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
3 Fock Space: A Model of Linear Exponential Types – R. F. Blute, Prakash Panangaden, R. A. G. Seely - 1994
15 A survey of graphical languages for monoidal categories – Peter Selinger
A quantum double construction in Rel – Masahito Hasegawa - 2010
16 Introduction to Linear Bicategories – J. R. B. Cockett, J. Koslowski, R. A. G. Seely - 1999
6 The Logic of Linear Functors – Richard Blute, J.R.B. Cockett, R. A. G. Seely - 2002
8 Simple free star-autonomous categories and full coherence – Dominic J. D. Hughes - 2005
39 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
4 Coherence of the Double Involution on *- Autonomous Categories. Theory and Applications of Category Theory – J. R. B. Cockett, M. Hasegawa, R. A. G. Seely - 2005
3 On categorical models of classical logic and the geometry of interaction – Carsten Führmann, David Pym - 2005
Physics from Computer Science — a position statement — – Samson Abramsky, Bob Coecke - 2006
18 Constructing free Boolean categories – Francois Lamarche, Benjamin C. Pierce, David N. Turner - 2005
2 Proofs as Polynomials – Esfandiar Haghverdi, Philip J. Scott
6 On the Algebra of Structural Contexts – François Lamarche - 2007
5 Type Theories for Autonomous and *-Autonomous Categories: I. Type Theories and Rewrite Systems - II. Internal Languages and Coherence Theorems – T. W. Koh, C. -h. L. Ong - 1998
1 Internal Languages for Autonomous and *-Autonomous Categories – T. W. Koh, C. -h. L. Ong
7 Explicit Substitution Internal Languages for Autonomous and *-Autonomous Categories – T. W. Koh, C. -h. L. Ong - 1999