Entanglement in Quantum Computing: Publications

[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
Details about Generalised Proof−Nets for Compact Categories with Biproducts  BibTeX data for Generalised Proof−Nets for Compact Categories with Biproducts  Download (pdf) of Generalised Proof−Nets for Compact Categories with Biproducts

[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 about Graphical Reasoning in Compact Closed Categories for Quantum Computation  BibTeX data for Graphical Reasoning in Compact Closed Categories for Quantum Computation  Download (pdf) of Graphical Reasoning in Compact Closed Categories for Quantum Computation  DOI (10.1007/s104720099141x)

[3]
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 about Graph States and the necessity of Euler Decomposition  BibTeX data for Graph States and the necessity of Euler Decomposition  Download (pdf) of Graph States and the necessity of Euler Decomposition  DOI (10.1007/9783642030734)

[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 about Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation  BibTeX data for Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation  Download of Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation  DOI (10.1007/9783540851103_8)

[5]
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 about Interacting Quantum Observables  BibTeX data for Interacting Quantum Observables  Download (pdf) of Interacting Quantum Observables  DOI (10.1007/9783540705833_25)

[6]
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 about A Categorical Quantum Logic  BibTeX data for A Categorical Quantum Logic  Download (pdf) of A Categorical Quantum Logic  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 about Types for Quantum Computing  BibTeX data for Types for Quantum Computing  Download (pdf) of Types for Quantum Computing  Link to Types for Quantum Computing

[8]
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.
Details about Believe it or not‚ Bell states are a model of multiplicative linear logic  BibTeX data for Believe it or not‚ Bell states are a model of multiplicative linear logic  Download (ps) of Believe it or not‚ Bell states are a model of multiplicative linear logic

[9]
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 about A Categorical Quantum Logic  BibTeX data for A Categorical Quantum Logic  Download (pdf) of A Categorical Quantum Logic