Entanglement in Quantum Computing: 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

  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

Journal papers

• [1]

  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)

• [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 about A Categorical Quantum Logic | BibTeX data for A Categorical Quantum Logic | Download  (pdf) of A Categorical Quantum Logic | DOI (10.1017/S0960129506005275)

Conference papers

• [1]

  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)

• [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 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)

• [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 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)

• [4]

  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

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.

  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

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.

  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