1. Bob Coecke & Ross Duncan (2011): Interacting Quantum Observables: Categorical Algebra and Diagrammatics. New J. Phys 13(043016), doi:10.1088/1367-2630/13/4/043016. Available at
  2. L. Dixon, R. Duncan, B. Frot, A. Kissinger, A. Merry & M. Soloviev: Quantomatic. Available at
  3. Lucas Dixon & Ross Duncan (2009): Graphical Reasoning in Compact Closed Categories for Quantum Computation. Annals of Mathematics and Artificial Intelligence 56(1), pp. 23–42, doi:10.1007/s10472-009-9141-x.
  4. R Duncan (2006): Types for Quantum Computing. Oxford University.
  5. R. Duncan & S. Perdrix (2010): Rewriting measurement-based quantum computations with generalised flow. In: S. Abramsky, C. Gavoille, C Kirchner, F. Meyer auf der Heide & P. G. Spirakis: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Proceedings Part II, Lecture Notes in Computer Science 6199. Springer, pp. 285–296, doi:10.1007/978-3-642-14162-1_24.
  6. Ross Duncan (2013): A graphical approach to measurement-based quantum computing. In: Chris Heunen, Mehrnoosh Sadrzadeh & Edward Grefenstette: Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse, chapter 3. Oxford University Press, doi:10.1093/acprof:oso/9780199646296.003.0003.
  7. N. David Mermin (2007): Quantum Computer Science. Cambridge University Press, doi:10.1017/CBO9780511813870.
  8. Andrew Steane (1996): Multiple-Particle Interference and Quantum Error Correction. Proc. R. Soc. Lond. A 8(1954), pp. 2551–2577, doi:10.1098/rspa.1996.0136.

Comments and questions to:
For website issues: