Ross Duncan : Publications
|
[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] |
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) |
|
[3] |
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. |
|
[4] |
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) |
|
[5] |
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 |
|
[6] |
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) |
|
[7] |
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) |
|
[8] |
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) |
|
[9] |
Types for Quantum Computing Ross Duncan PhD Thesis 2006. This thesis was the runner up for the British Computer Society Distinguished Dissertation award. |