| 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) |
