University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Ross Duncan : Publications

By dateBy titleBy typeBibtex

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

[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

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.

[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.

[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

[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

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.