| |
| 2009 | ||
|---|---|---|
| 6 | EE | Lucas Dixon, Ross Duncan: Graphical Reasoning in Compact Closed Categories for Quantum Computation CoRR abs/0902.0514: (2009) |
| 5 | EE | Ross Duncan: Generalised Proof-Nets for Compact Categories with Biproducts CoRR abs/0903.5154: (2009) |
| 2008 | ||
| 4 | EE | Lucas Dixon, Ross Duncan: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. AISC/MKM/Calculemus 2008: 77-92 |
| 3 | EE | Bob Coecke, Ross Duncan: Interacting Quantum Observables. ICALP (2) 2008: 298-310 |
| 2006 | ||
| 2 | EE | Samson Abramsky, Ross Duncan: A categorical quantum logic. Mathematical Structures in Computer Science 16(3): 469-489 (2006) |
| 2005 | ||
| 1 | EE | Samson Abramsky, Ross Duncan: A Categorical Quantum Logic CoRR abs/quant-ph/0512114: (2005) |
| 1 | Samson Abramsky | [1] [2] |
| 2 | Bob Coecke | [3] |
| 3 | Lucas Dixon | [4] [6] |