Entanglement in Quantum Computing: Publications

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

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/s10472-009-9141-x)

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/978-3-642-03073-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/978-3-540-85110-3_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 about Interacting Quantum Observables | BibTeX data for Interacting Quantum Observables | Download  (pdf) of Interacting Quantum Observables | DOI (10.1007/978-3-540-70583-3_25)

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)

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

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

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