Ross Duncan : Publications
Book chapters
|
[1] |
Generalised Proof−Nets for Compact Categories with Biproducts Ross Duncan In S. Gay and I. Mackie, editors, Semantics of Quantum Computation. Cambridge University Press. 2009. Preprint available at http://arxiv.org/abs/0903.5154 |
Journal papers
|
[1] |
A Categorical Quantum Logic Samson Abramsky and Ross Duncan In 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) |
|
[2] |
Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon and Ross Duncan In 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) |
Conference papers
|
[1] |
A Categorical Quantum Logic Samson Abramsky and 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) |
|
[2] |
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon and Ross Duncan In Serge Autexier‚ John Campbell‚ Julio Rubio‚ Volker Sorge‚ Masakazu Suzuki and Freek Wiedijk, 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) |
|
[3] |
Interacting Quantum Observables Bob Coecke and 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) |
|
[4] |
Graph States and the necessity of Euler Decomposition Ross Duncan and Simon Perdrix In K. Ambos−Spies‚ B. Löwe and W. Merkle, 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) |
Technical reports
|
[1] |
Believe it or not‚ Bell states are a model of multiplicative linear logic Ross Duncan No. RR−04−18. Oxford University Computing Laboratory. October, 2004. |
Theses
|
[1] |
Types for Quantum Computing Ross Duncan PhD Thesis 2006. This thesis was the runner up for the British Computer Society Distinguished Dissertation award. |