References

  1. W. Dür, G. Vidal & J. I. Cirac (2000): Three qubits can be entangled in two inequivalent ways. Phys. Rev. A 62(062314).
  2. S. Lack (2004): Composing PROPs. Theory and Applications of Categories 13, pp. 147–163.
  3. M. Hein, J. Eisert & H. J. Briegel (2004): Multi-party entanglement in graph states. Physical Review A 69(062311).
  4. A. Joyal & R. Street (1991): The geometry of tensor calculus I. Advances in Mathematics 88, pp. 55–112.
  5. L. Dixon, R. Duncan, A. Merry & A. Kissinger (2011): quantomatic software. Available from http://dream.inf.ed.ac.uk/projects/quantomatic/.
  6. G. M. Kelly & M. L. Laplaza (1980): Coherence for compact closed categories. Journal of Pure and Applied Algebra 19, pp. 193–213.
  7. R. Street (2007): Quantum Groups: A Path to Current Algebra. Cambridge University Press.
  8. B. Coecke (2009): Quantum Picturalism. Contemporary Physics 51, pp. 59–83. arXiv:0908.1787.
  9. B. Coecke & R. Duncan (2009): Interacting quantum observables. In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP). arXiv:quant-ph/09064725.
  10. B. Coecke & D. Pavlovic (2007): Quantum measurements without sums. In: G. Chen, L. Kauffman & S. Lamonaco: Mathematics of Quantum Computing and Technology. Taylor and Francis, pp. 567–604. arXiv:quant-ph/0608035.
  11. B. Coecke, D. Pavlovic & J. Vicary (2011): A new description of orthogonal bases. Mathematical Structures in Computer Science, to appear.. arXiv:quant-ph/0810.1037.
  12. B. Coecke & A. Kissinger (2010): The Compositional Structure of Multipartite Quantum Entanglement. In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP), pp. 297–308. arXiv:1002.2540.
  13. B. Coecke, A. Kissinger, A. Merry & S. Roy (2011): Rational calculus within graphical GHZ/W-calculus. In: Proceedings of the Workshop on High Productivity Computations.
  14. A. Miyake & F. Verstraete (2004): Multipartite entanglement in 2 2 n quantum systems. Physical Review A 69(012101).
  15. V. Coffman, J. Kundu & W. K. Wooters (2000): Distributed Entanglement. Physical Review A 61(052306).
  16. A. Carboni & R. F. C. Walters (1987): Cartesian bicategories I. Journal of Pure and Applied Algebra 49, pp. 11–32.
  17. M. A. Nielsen (1999): Conditions for a class of entanglement transformations. Physical Review Letters 83(2), pp. 436–439.
  18. S. Abramsky & B. Coecke (2004): A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science. IEEE Computer Science Press, pp. 415–425. ArXiv:0808.1023.
  19. F. Verstraete, J. Dehaene, B. De Moor & H. Verschelde (2002): Four qubits can be entangled in nine different ways. Physical Review A 65(052112).

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org