References

  1. 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. Extended version: arXiv:0808.1023.
  2. M. Aguiar (2000): A note on strongly separable algebras. Boletín de la Academia Nacional de Ciencias (Córdoba, Argentina) 65, pp. 51–60.
  3. A. Carboni & R. F. C. Walters (1987): Cartesian bicategories I. Journal of Pure and Applied Algebra 49, pp. 11–32.
  4. B. Coecke (2009): Quantum Picturalism. Contemporary Physics 51, pp. 59–83. arXiv:0908.1787.
  5. B. Coecke & R. Duncan (2008): Interacting quantum observables. In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP). Extended version: arXiv:quant-ph/09064725.
  6. B. Coecke, B. Edwards & R. W. Spekkens (2011): Phase groups and the origin of non-locality for qubits. Electronic Notes in Theoretical Computer Science 270(2), pp. 15–36. arXiv:1003.5005.
  7. 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. Extended version: arXiv:1002.2540.
  8. 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. \voidb@x arXiv:quant-ph/0608035.
  9. L. Dixon & R. Duncan (2009): Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence 51, pp. 23–42.
  10. L. Dixon, R. Duncan, A. Merry & A. Kissinger (2011): quantomatic software. Available from http://dream.inf.ed.ac.uk/projects/quantomatic/.
  11. L. Dixon & A. Kissinger (2011): Open graphs and monoidal theories. arXiv:1011.4114.
  12. R. Duncan (2006): Types for Quantum Computation. DPhil Thesis, Oxford University.
  13. R. Duncan & S. Perdrix (2010): Rewriting measurement-based quantum computations with generalised flow. In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP), pp. 285–296.
  14. W. Dür, G. Vidal & J. I. Cirac (2000): Three qubits can be entangled in two inequivalent ways. Phys. Rev. A 62(062314).
  15. M. Herrmann (2010): Models of Multipartite Entanglement. MSc Thesis, Oxford University.
  16. A. Joyal & R. Street (1991): The geometry of tensor calculus I. Advances in Mathematics 88, pp. 55–112.
  17. G. M. Kelly & M. L. Laplaza (1980): Coherence for compact closed categories. Journal of Pure and Applied Algebra 19, pp. 193–213.
  18. S. Lack (2004): Composing PROPs. Theory and Applications of Categories 13, pp. 147–163.
  19. R. Penrose (1971): Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications. Academic Press, pp. 221–244.
  20. P. Selinger (2011): A survey of graphical languages for monoidal categories. In: B. Coecke: New Structures for Physics. Springer-Verlag, pp. 275–337. arXiv:0908.3347.

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