Ross Duncan: Publications

[1]	Generalised Proof-Nets for Compact Categories with Biproducts Ross Duncan In S. Gay, I. Mackie, editors, Semantics of Quantum Computation Cambridge University Press. 2009. Preprint available at http://arxiv.org/abs/0903.5154. Details \| BibTeX \| Download (pdf)

[2]	Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon, Ross Duncan Annals of Mathematics and Artificial Intelligence, 2009. preprint available at http://arxiv.org/abs/0902.0514. Details \| BibTeX \| Download (pdf) \| DOI (10.1007/s10472-009-9141-x)

[3]

Graph States and the necessity of Euler Decomposition

Ross Duncan, Simon Perdrix

In Ambos-Spies, K., Löwe, B. and Merkle, W., editors, Computability in Europe: Mathematical Theory and Computational Practice (CiE'09) Vol. 5635 of Lecture Notes in Computer Science, pages 167—177. Springer, 2009.

Preprint available at http://arxiv.org/abs/0902.0500.

Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-03073-4)

[4]

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

Lucas Dixon, Ross Duncan

In Autexier, Serge et al. , editors, Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings Vol. 5144 of Lecture Notes in Computer Science, pages 77-92. Springer, 2008.

Details | BibTeX | Download | DOI (10.1007/978-3-540-85110-3_8)

[5]

Interacting Quantum Observables

Bob Coecke, Ross Duncan

In Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II Vol. 5126 of Lecture Notes in Computer Science, pages 298-310. Springer, 2008.

A significantly revised and expanded version of this paper is available as preprint http://arxiv.org/abs/0906.4725.

Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-540-70583-3_25)

[6]	A Categorical Quantum Logic Samson Abramsky, Ross Duncan Mathematical Structures in Computer Science, Vol. 16, No. 3, pages 469-489. 2006. Preprint available at http://arxiv.org/abs/quant-ph/0512114. Details \| BibTeX \| Download (pdf) \| DOI (10.1017/S0960129506005275)

[7]	Types for Quantum Computing Ross Duncan PhD Thesis, 2006. This thesis was the runner up for the British Computer Society Distinguished Dissertation award. Details \| BibTeX \| Download (pdf)

[8]	Believe it or not, Bell states are a model of multiplicative linear logic Ross Duncan No. RR-04-18, Technical Report, Oxford University Computing Laboratory. October 2004. Details \| BibTeX \| Download (ps)

[9]

A Categorical Quantum Logic

Samson Abramsky, Ross Duncan

In Proceedings of the 2nd International Workshop on Quantum Programming Languages Vol. 33 of Turku Centre for Computer Science General Publication. 2004.

This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version.

Details | BibTeX | Link (pdf)