Publications

Tensor Network Rewriting Strategies for Satisfiability and Counting
Niel de Beaudrap‚ Aleks Kissinger and Konstantinos Meichanetzidis
2020.
Details about Tensor Network Rewriting Strategies for Satisfiability and Counting  BibTeX data for Tensor Network Rewriting Strategies for Satisfiability and Counting  Link to Tensor Network Rewriting Strategies for Satisfiability and Counting

A categorical semantics for causal structure (extended version)
Aleks Kissinger and Sander Uijlen
In Logical Methods in Computer Science (LMCS). Vol. 15. No. 3. 2019.
Details about A categorical semantics for causal structure (extended version)  BibTeX data for A categorical semantics for causal structure (extended version)

Universal MBQC with generalised parity−phase interactions and Pauli measurements
Aleks Kissinger and John van de Wetering
In Quantum. Vol. 3. Pages 134. 2019.
Details about Universal MBQC with generalised parity−phase interactions and Pauli measurements  BibTeX data for Universal MBQC with generalised parity−phase interactions and Pauli measurements

External traced monoidal categories
Nick Hu
Master's Thesis 2019.
Details about External traced monoidal categories  BibTeX data for External traced monoidal categories  Download (pdf) of External traced monoidal categories

Contextuality and noncommutative geometry in quantum mechanics
Nadish de Silva and Rui Soares Barbosa
In Communications in Mathematical Physics. Vol. 365. No. 2. Pages 375–429. 2019.
Earlier partial version (“Partial and total ideals of von Neumann algebras”) available as arXiv:1408.1172 [math.OA]
Details about Contextuality and noncommutative geometry in quantum mechanics  BibTeX data for Contextuality and noncommutative geometry in quantum mechanics  DOI (10.1007/s0022001832229)

Integral categories and calculus categories
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Mathematical Structures in Computer Science. Vol. 29. No. 2. Pages 243−308. 2019.
Details about Integral categories and calculus categories  BibTeX data for Integral categories and calculus categories  DOI (10.1017/S0960129518000014)  Link to Integral categories and calculus categories

Differential algebras in codifferential categories
Jean−Simon Pacaud Lemay
In Journal of Pure and Applied Algebra. 2019.
Details about Differential algebras in codifferential categories  BibTeX data for Differential algebras in codifferential categories  DOI (https://doi.org/10.1016/j.jpaa.2019.01.005)  Link to Differential algebras in codifferential categories

Higher−order distributions for differential linear logic.
Marie Kerjean and Jean−Simon Lemay
January, 2019.
working paper or preprint
Details about Higher−order distributions for differential linear logic.  BibTeX data for Higher−order distributions for differential linear logic.  Link to Higher−order distributions for differential linear logic.

Minimum quantum resources for strong non−locality
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield
In Mark M. Wilde, editor, Proceedings of 12th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC 2017). Vol. 73 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 9:1–9:20. Dagstuhl‚ Germany. 2018. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
Accepted for communication at 14th International Conference on Quantum Physics and Logic (QPL 2017); E−print: arXiv:1705.09312 [quant−ph]
Details about Minimum quantum resources for strong non−locality  BibTeX data for Minimum quantum resources for strong non−locality  DOI (10.4230/LIPIcs.TQC.2017.9)  Link to Minimum quantum resources for strong non−locality

Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads
Masahito Hasegawa and Jean−Simon Pacaud Lemay
In Theory and Applications of Categories. Vol. 33. No. 37. Pages 1145–1157. 2018.
Details about Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads  BibTeX data for Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads  Link to Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads

A tangent category alternative to the Faa di Bruno construction
Jean−Simon Pacaud Lemay
In Theory and Applications of Categories. Vol. 33. No. 35. Pages 1072–1110. 2018.
Details about A tangent category alternative to the Faa di Bruno construction  BibTeX data for A tangent category alternative to the Faa di Bruno construction  Link to A tangent category alternative to the Faa di Bruno construction

Cartesian Integral Categories and Contextual Integral Categories
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Electronic Notes in Theoretical Computer Science. Vol. 341. Pages 45 − 72. 2018.
Proceedings of the Thirty−Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)
Details about Cartesian Integral Categories and Contextual Integral Categories  BibTeX data for Cartesian Integral Categories and Contextual Integral Categories  DOI (https://doi.org/10.1016/j.entcs.2018.11.004)  Link to Cartesian Integral Categories and Contextual Integral Categories

Convenient Antiderivatives For Differential Linear Categories
Jean−Simon Pacaud Lemay
In arXiv preprint arXiv:1808.08513. 2018.
Details about Convenient Antiderivatives For Differential Linear Categories  BibTeX data for Convenient Antiderivatives For Differential Linear Categories  Link to Convenient Antiderivatives For Differential Linear Categories

Differential Categories Revisited
Richard F. Blute J. Robin B. Cockett R.A.G. Seely and Jean−Simon Pacaud Lemay
In arXiv preprint arXiv:1806.04804. 2018.
Details about Differential Categories Revisited  BibTeX data for Differential Categories Revisited  Link to Differential Categories Revisited

Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories
Jean−Simon Pacaud Lemay
In arXiv preprint arXiv:1804.11116. 2018.
Details about Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories  BibTeX data for Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories  Link to Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories

Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories
Jean−Simon Pacaud Lemay
In 3rd International Conference on Formal Structures for Computation and Deduction‚ FSCD 2018‚ July 9−12‚ 2018‚ Oxford‚ UK. Pages 21:1–21:20. 2018.
Details about Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories  BibTeX data for Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories  DOI (10.4230/LIPIcs.FSCD.2018.21)  Link to Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories

Normal forms for planar connected string diagrams
Antonin Delpeuch and Jamie Vicary
In CoRR. Vol. abs/1804.07832. 2018.
Details about Normal forms for planar connected string diagrams  BibTeX data for Normal forms for planar connected string diagrams  Link to Normal forms for planar connected string diagrams

Double Dilation Double Mixing (extended abstract)
Maaike Zwart and Bob Coecke
In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic‚ Nijmegen‚ The Netherlands‚ 3−7 July 2017. Vol. 266 of Electronic Proceedings in Theoretical Computer Science. Pages 133−146. Open Publishing Association. 2018.
Details about Double Dilation Double Mixing (extended abstract)  BibTeX data for Double Dilation Double Mixing (extended abstract)  DOI (10.4204/EPTCS.266.9)

Generalized Relations in Linguistics & Cognition
Bob Coecke‚ Fabrizio Genovese‚ Martha Lewis‚ Dan Marden and Alexis Toumi
In Theoretical Computer Science. 2018.
Details about Generalized Relations in Linguistics & Cognition  BibTeX data for Generalized Relations in Linguistics & Cognition  DOI (10.1016/j.tcs.2018.03.008)  Download (pdf) of Generalized Relations in Linguistics & Cognition

Quantum Field Theory in Categorical Quantum Mechanics
Stefano Gogioso and Fabrizio Genovese
In EPTCS (QPL 2018)‚ arXiv:1805.12087. 2018.
Details about Quantum Field Theory in Categorical Quantum Mechanics  BibTeX data for Quantum Field Theory in Categorical Quantum Mechanics

Picture−perfect Quantum Key Distribution (Pre−print)
Aleks Kissinger‚ Sean Tull and Bas Westerbaan
2017.
Details about Picture−perfect Quantum Key Distribution (Pre−print)  BibTeX data for Picture−perfect Quantum Key Distribution (Pre−print)  Link to Picture−perfect Quantum Key Distribution (Pre−print)

A categorical semantics for causal structure
Aleks Kissinger and Sander Uijlen
In Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS). 2017.
Details about A categorical semantics for causal structure  BibTeX data for A categorical semantics for causal structure

A complete characterization of All−versus−Nothing arguments for stabilizer states
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù and Simon Perdrix
In Philosophical Transactions of the Royal Society of London A: Mathematical‚ Physical and Engineering Sciences‚ Theme Issue on ‘Second quantum revolution: foundational questions'. Vol. 375. No. 2106. 2017.
E−print: arXiv:1705.08459 [quant−ph]
Details about A complete characterization of All−versus−Nothing arguments for stabilizer states  BibTeX data for A complete characterization of All−versus−Nothing arguments for stabilizer states  DOI (10.1098/rsta.2016.0385)  Link to A complete characterization of All−versus−Nothing arguments for stabilizer states

Contextual fraction as a measure of contextuality
Samson Abramsky‚ Rui Soares Barbosa and Shane Mansfield
In Physical Review Letters. Vol. 119. No. 050504. 2017.
E−print: arXiv:1705.07918 [quant−ph]; Earlier version (“Quantifying contextuality via linear programming”) accepted for communication to 13th International Conference on Quantum Physics and Logic (QPL 2016).
Details about Contextual fraction as a measure of contextuality  BibTeX data for Contextual fraction as a measure of contextuality  DOI (10.1103/PhysRevLett.119.050504)  Link to Contextual fraction as a measure of contextuality

The quantum monad on relational structures
Samson Abramsky‚ Rui Soares Barbosa‚ Nadish de Silva and Octavio Zapata
In Kim G. Larsen‚ Hans L. Bodlaender and Jean−François Raskin, editors, Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Vol. 83 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 35:1–35:19. Dagstuhl‚ Germany. 2017. Schloss Dagstuhl–Leibniz−Zentrum für Informatik.
E−print: arXiv:1705.07310 [cs.LO]
Details about The quantum monad on relational structures  BibTeX data for The quantum monad on relational structures  DOI (10.4230/LIPIcs.MFCS.2017.35)  Link to The quantum monad on relational structures

There Is Only One Notion of Differentiation
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Vol. 84 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 13:1–13:21. Dagstuhl‚ Germany. 2017. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
Details about There Is Only One Notion of Differentiation  BibTeX data for There Is Only One Notion of Differentiation  DOI (10.4230/LIPIcs.FSCD.2017.13)  Link to There Is Only One Notion of Differentiation

Integral Categories and Calculus Categories
Robin Cockett and Jean−Simon Pacaud Lemay
In Valentin Goranko and Mads Dam, editors, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Vol. 82 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 20:1–20:17. Dagstuhl‚ Germany. 2017. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
Details about Integral Categories and Calculus Categories  BibTeX data for Integral Categories and Calculus Categories  DOI (10.4230/LIPIcs.CSL.2017.20)  Link to Integral Categories and Calculus Categories

Thermodynamics and the structure of quantum theory
M. Krumm‚ H. Barnum‚ J. Barrett and M.P. Müller
In New Journal of Physics. Vol. 19. No. 4. 2017.
Details about Thermodynamics and the structure of quantum theory  BibTeX data for Thermodynamics and the structure of quantum theory  DOI (10.1088/13672630/aa68ef)

The computational landscape of general physical theories
J. Barrett‚ N. de Beaudrap‚ M. J. Hoban and C. M. Lee
February, 2017.
Details about The computational landscape of general physical theories  BibTeX data for The computational landscape of general physical theories  Link to The computational landscape of general physical theories

Tensors‚ !−graphs‚ and non−commutative quantum structures (extended version)
Aleks Kissinger and David Quick
In Next Generation Computing 34(1). Springer/Ohmsha. 2016.
Details about Tensors‚ !−graphs‚ and non−commutative quantum structures (extended version)  BibTeX data for Tensors‚ !−graphs‚ and non−commutative quantum structures (extended version)

Picturing Indefinite Causal Structure
Aleks Kissinger and Sander Uijlen
In Proceedings of the 13th Annual conference in Quantum Physics and Logic (QPL).. 2016.
Details about Picturing Indefinite Causal Structure  BibTeX data for Picturing Indefinite Causal Structure

Possibilities determine the combinatorial structure of probability polytopes
Samson Abramsky‚ Rui Soares Barbosa‚ Kohei Kishida‚ Raymond Lal and Shane Mansfield
In Journal of Mathematical Psychology‚ Special Issue on Foundations of Probability (in press). 2016.
E−print: arXiv:1603.07735 [quant−ph]
Details about Possibilities determine the combinatorial structure of probability polytopes  BibTeX data for Possibilities determine the combinatorial structure of probability polytopes  DOI (10.1016/j.jmp.2016.03.006)  Link to Possibilities determine the combinatorial structure of probability polytopes

The Shuffle Quasimonad and Modules with Differentiation and Integration
Marc Bagnol‚ Richard Blute‚ J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Electronic Notes in Theoretical Computer Science. Vol. 325. Pages 29 − 45. 2016.
The Thirty−second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)
Details about The Shuffle Quasimonad and Modules with Differentiation and Integration  BibTeX data for The Shuffle Quasimonad and Modules with Differentiation and Integration  DOI (https://doi.org/10.1016/j.entcs.2016.09.030)  Link to The Shuffle Quasimonad and Modules with Differentiation and Integration

Quantomatic: A proof assistant for diagrammatic reasoning
Aleks Kissinger and Vladimir Zamdzhiev
In Proceedings of the 25th International Conference on Automated Deduction (CADE). 2015.
Details about Quantomatic: A proof assistant for diagrammatic reasoning  BibTeX data for Quantomatic: A proof assistant for diagrammatic reasoning

Equational reasoning with context−free families of string diagrams
Aleks Kissinger and Vladimir Zamdzhiev
In Proceedings of the International Conference on Graph Transformation (ICGT). 2015.
Details about Equational reasoning with context−free families of string diagrams  BibTeX data for Equational reasoning with context−free families of string diagrams

A first−order logic for string diagrams
Aleks Kissinger and David Quick
In Proceedings of the 6th Conference on Algebra and Coalgebra (CALCO). 2015.
Details about A first−order logic for string diagrams  BibTeX data for A first−order logic for string diagrams

!−Graphs with trivial overlap are context−free
Aleks Kissinger and Vladimir Zamdzhiev
In Proceedings of Graphs as Models (GaM)‚ workshop at ETAPS. 2015.
Details about !−Graphs with trivial overlap are context−free  BibTeX data for !−Graphs with trivial overlap are context−free

Contextuality‚ cohomology and paradox
Samson Abramsky‚ Rui Soares Barbosa‚ Kohei Kishida‚ Raymond Lal and Shane Mansfield
In Stephan Kreutzer, editor, Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Vol. 41 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 211–228. Dagstuhl‚ Germany. 2015. Schloss Dagstuhl–Leibniz−Zentrum für Informatik.
E−print: arXiv:1502.03097 [quant−ph]
Details about Contextuality‚ cohomology and paradox  BibTeX data for Contextuality‚ cohomology and paradox  DOI (10.4230/LIPIcs.CSL.2015.211)  Link to Contextuality‚ cohomology and paradox

Open System Categorical Quantum Semantics in Natural Language Processing
Robin Piedeleu‚ Dimitri Kartsaklis‚ Bob Coecke and Mehrnoosh Sadrzadeh
In CoRR. Vol. abs/1502.00831. 2015.
Details about Open System Categorical Quantum Semantics in Natural Language Processing  BibTeX data for Open System Categorical Quantum Semantics in Natural Language Processing  Link to Open System Categorical Quantum Semantics in Natural Language Processing

Tensors‚ !−graphs‚ and non−commutative quantum structures
Aleks Kissinger and David Quick
In Proceedings of the 11th workshop on Quantum Physics and Logic (QPL). 2014.
Details about Tensors‚ !−graphs‚ and non−commutative quantum structures  BibTeX data for Tensors‚ !−graphs‚ and non−commutative quantum structures

On monogamy of non−locality and macroscopic averages: examples and preliminary results
Rui Soares Barbosa
In Bob Coecke‚ Ichiro Hasuo and Prakash Panangaden, editors, Proceedings of 11th workshop on Quantum Physics and Logic (QPL 2014). Vol. 172 of Electronic Proceedings in Theoretical Computer Science. Pages 36–55. Open Publishing Association. 2014.
E−print: arXiv:1412.8541 [quant−ph]
Details about On monogamy of non−locality and macroscopic averages: examples and preliminary results  BibTeX data for On monogamy of non−locality and macroscopic averages: examples and preliminary results  DOI (10.4204/EPTCS.172.4)  Link to On monogamy of non−locality and macroscopic averages: examples and preliminary results

Piecewise Boolean algebras and their domains
Chris Heunen
In 41st International Colloquium on Automata‚ Logic‚ and Programming. Vol. 8573 of Lecture Notes in Computer Science. Pages 208−219. Springer. 2014.
Details about Piecewise Boolean algebras and their domains  BibTeX data for Piecewise Boolean algebras and their domains  DOI (10.1007/9783662439517_18)

Abstract Tensor Systems as Monoidal Categories
Aleks Kissinger
In Categories and Types in Logic‚ Language‚ and Physics‚ Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday. Vol. 8222 of Lecture Notes in Computer Science (LNCS). Springer. 2013.
Details about Abstract Tensor Systems as Monoidal Categories  BibTeX data for Abstract Tensor Systems as Monoidal Categories

Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models
Shane Mansfield and Rui Soares Barbosa
In Informal pre−proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013)‚ ICFo Barcelona. 2013.
E−print: arXiv:1402.4827 [quant−ph]
Details about Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models  BibTeX data for Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models  Download (pdf) of Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models

Compositional quantum logic
Bob Coecke‚ Chris Heunen and Aleks Kissinger
In Bob Coecke‚ Luke Ong and Prakash Panangaden, editors, Computation‚ Logic‚ Games‚ and Quantum Foundations. Chapter Compositional Quantum Logic. Pages 21−36. 2013.
Details about Compositional quantum logic  BibTeX data for Compositional quantum logic  DOI (10.1007/9783642381645_3)  Link to Compositional quantum logic

Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics
Edward Grefenstette
PhD Thesis June, 2013.
Details about Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics  BibTeX data for Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics  Link to Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

A new description of orthogonal bases
Bob Coecke‚ Dusko Pavlovic and Jamie Vicary
In Electronic Notes in Theoretical Computer Science. Vol. 23. No. 3. Pages 555–567. 2013.
Details about A new description of orthogonal bases  BibTeX data for A new description of orthogonal bases  DOI (http://dx.doi.org/10.1017/S0960129512000047)  Link to A new description of orthogonal bases

Synthesising Graphical Theories
Aleks Kissinger
In Proceedings of the workshop on Automated Theory eXploration (ATX). 2012.
Details about Synthesising Graphical Theories  BibTeX data for Synthesising Graphical Theories

Pattern Graph Rewrite Systems
Aleks Kissinger‚ Alex Merry and Matvey Soloviev
2012.
Details about Pattern Graph Rewrite Systems  BibTeX data for Pattern Graph Rewrite Systems  Link to Pattern Graph Rewrite Systems

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
A. Kissinger
2012.
DPhil Thesis‚ Oxford University
Details about Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing  BibTeX data for Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Unsharp values‚ domains and topoi
Andreas Döring and Rui Soares Barbosa
In Felix Finster‚ Olaf Müller‚ Marc Nardmann‚ Jürgen Tolksdorf and Eberhard Zeidler, editors, Quantum Field Theory and Gravity. Pages 65–96. Springer Basel. 2012.
E−print: arXiv:1107.1083 [quant−ph]
Details about Unsharp values‚ domains and topoi  BibTeX data for Unsharp values‚ domains and topoi  DOI (10.1007/9783034800433_5)  Link to Unsharp values‚ domains and topoi

The cohomology of non−locality and contextuality
Samson Abramsky‚ Shane Mansfield and Rui Soares Barbosa
In Bart Jacobs‚ Peter Selinger and Bas Spitters, editors, Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011). Vol. 95 of Electronic Proceedings in Theoretical Computer Science. Pages 1–14. 2012.
E−print: arXiv:1111.3620 [quant−ph]
Details about The cohomology of non−locality and contextuality  BibTeX data for The cohomology of non−locality and contextuality  DOI (10.4204/EPTCS.95.1)  Download (pdf) of The cohomology of non−locality and contextuality

Noncommutativity as a colimit
Benno van den Berg and Chris Heunen
In Applied Categorical Structures. Vol. 20. No. 4. Pages 393−414. 2012.
Details about Noncommutativity as a colimit  BibTeX data for Noncommutativity as a colimit  DOI (10.1007/s1048501192463)

Relative Frobenius algebras are groupoids
Chris Heunen‚ Ivan Contreras and Alberto S. Cattaneo
In Journal of Pure and Applied Algebra. Vol. 217. Pages 114−124. 2012.
Details about Relative Frobenius algebras are groupoids  BibTeX data for Relative Frobenius algebras are groupoids  DOI (10.1016/j.jpaa.2012.04.002)  Link to Relative Frobenius algebras are groupoids

The order encoding: from tractable CSP to tractable SAT
Justyna Petke and Peter Jeavons
No. RR−11−04. DCS‚ University of Oxford. 2011.
Details about The order encoding: from tractable CSP to tractable SAT  BibTeX data for The order encoding: from tractable CSP to tractable SAT  Download (pdf) of The order encoding: from tractable CSP to tractable SAT

Categorical Tensor Network States
Stephen R.Clark Jacob D. Biamonte and Dieter Jaksch
No. RR−10−14. OUCL. September, 2010.
Details about Categorical Tensor Network States  BibTeX data for Categorical Tensor Network States  Download (pdf) of Categorical Tensor Network States  Link to Categorical Tensor Network States

Towards quantum chemistry on a quantum computer
A. Aspuru−Guzik Guzik & A. G. White B. P. Lanyon J. D. Whitfield G. G. Gillett M. E. Goggin M. P. Almeida I. Kassal J. D. Biamonte (Oxford) B. J. Powell M. Barbieri
In Nature Chem.. No. 2. Pages 106–111. 2010.
Details about Towards quantum chemistry on a quantum computer  BibTeX data for Towards quantum chemistry on a quantum computer  DOI (doi:10.1038/nchem.483)  Link to Towards quantum chemistry on a quantum computer

Categorical properties of the complex numbers
Jamie Vicary
In Journal of Mathematical Physics. 2010.
To appear
Details about Categorical properties of the complex numbers  BibTeX data for Categorical properties of the complex numbers  Link to Categorical properties of the complex numbers

Categorical formulation of finite−dimensional quantum algebras
Jamie Vicary
In Communications in Mathematical Physics. 2010.
To appear
Details about Categorical formulation of finite−dimensional quantum algebras  BibTeX data for Categorical formulation of finite−dimensional quantum algebras  Link to Categorical formulation of finite−dimensional quantum algebras

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Aleks Kissinger
In Proceedings of Calculemus. Vol. 5625 of LNCS/LNAI. Springer. 2009.
Details about Exploring a Quantum Theory with Graph Rewriting and Computer Algebra  BibTeX data for Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

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

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)

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)

The Group Theoretic Origin of Non−Locality For Qubits
Bob Coecke‚ Bill Edwards and Rob Spekkens
No. RR−09−04. OUCL. 2009.
Details about The Group Theoretic Origin of Non−Locality For Qubits  BibTeX data for The Group Theoretic Origin of Non−Locality For Qubits  Download (pdf) of The Group Theoretic Origin of Non−Locality For Qubits

Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories
Aleks Kissinger
Master's Thesis Oxford University. 2008.
Details about Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories  BibTeX data for Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories

Realizable Hamiltonians for universal adiabatic quantum computers
J.D. Biamonte and Peter J. Love
In Physical Review A 78‚ 012352. 2008.
Details about Realizable Hamiltonians for universal adiabatic quantum computers  BibTeX data for Realizable Hamiltonians for universal adiabatic quantum computers  Download of Realizable Hamiltonians for universal adiabatic quantum computers  DOI (10.1103/PhysRevA.78.012352)  Link to Realizable Hamiltonians for universal adiabatic quantum computers

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)

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)

Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins
J.D. Biamonte
In Physical Review A 77‚ 052331. 2008.
Details about Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins  BibTeX data for Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins  Download of Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins  DOI (10.1103/PhysRevA.77.052331)  Link to Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins

Scalar Inverses in Quantum Structuralism
Bob Coecke and Dusko Pavlovic
No. RR−08−03. OUCL. 2008.
Details about Scalar Inverses in Quantum Structuralism  BibTeX data for Scalar Inverses in Quantum Structuralism  Download (pdf) of Scalar Inverses in Quantum Structuralism

Classical and Quantum Structures
Bob Coecke‚ Eric O Paquette and Dusko Pavlovic
No. RR−08−02. OUCL. 2008.
Details about Classical and Quantum Structures  BibTeX data for Classical and Quantum Structures  Download (pdf) of Classical and Quantum Structures

A categorical framework for the quantum harmonic oscillator
Jamie Vicary
In International Journal of Theoretical Physics. Vol. 47. No. 12. Pages 3408–3447. 2008.
Details about A categorical framework for the quantum harmonic oscillator  BibTeX data for A categorical framework for the quantum harmonic oscillator  Link to A categorical framework for the quantum harmonic oscillator

Sign and magnitude tunable coupler for superconducting flux qubits
R. Harris et al.
In Physical Review Letters 98‚ 177001. 2007.
Details about Sign and magnitude tunable coupler for superconducting flux qubits  BibTeX data for Sign and magnitude tunable coupler for superconducting flux qubits

Complete Positivity without Positivity and Without Compactness
Bob Coecke
No. RR−07−05. Oxford University Computing Laboratory. September, 2007.
Details about Complete Positivity without Positivity and Without Compactness  BibTeX data for Complete Positivity without Positivity and Without Compactness  Download (pdf) of Complete Positivity without Positivity and Without Compactness

Deciding Bit−Vector Arithmetic with Abstraction
Randal E. Bryant‚ Daniel Kroening‚ Joel Ouaknine‚ Sanjit A. Seshia‚ Ofer Strichman and Bryan Brady
In Proceedings of TACAS 2007. Vol. 4424 of Lecture Notes in Computer Science. Pages 358–372. Springer. 2007.
Details about Deciding Bit−Vector Arithmetic with Abstraction  BibTeX data for Deciding Bit−Vector Arithmetic with Abstraction

Verification of Boolean Programs with Unbounded Thread Creation
Byron Cook‚ Daniel Kroening and Natasha Sharygina
In Theoretical Computer Science (TCS). Vol. 388. Pages 227–242. 2007.
Details about Verification of Boolean Programs with Unbounded Thread Creation  BibTeX data for Verification of Boolean Programs with Unbounded Thread Creation

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
In FoSSaCS. 2007.
Details about Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems  BibTeX data for Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems  Download (pdf) of Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

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

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)

Quantum measurements without sums
Bob Coecke and Dusko Pavlovic
No. RR−06−02. Oxford University Computing Laboratory. July, 2006.
Details about Quantum measurements without sums  BibTeX data for Quantum measurements without sums  Download (pdf) of Quantum measurements without sums

From Separation Logic to First−Order Logic
P. Gardner C. Calcagno and M. Hague
In FoSSaCS. 2005.
Details about From Separation Logic to First−Order Logic  BibTeX data for From Separation Logic to First−Order Logic  Download (pdf) of From Separation Logic to First−Order Logic

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

A Categorical semantics of Quantum Protocols
Samson Abramsky and Bob Coecke
No. RR−04−02. Oxford University Computing Laboratory. February, 2004.
Details about A Categorical semantics of Quantum Protocols  BibTeX data for A Categorical semantics of Quantum Protocols  Download (ps) of A Categorical semantics of Quantum Protocols

Static Checkers for Tree Structures and Heaps
M. Hague
Master's Thesis Imperial College London. 2004.
Details about Static Checkers for Tree Structures and Heaps  BibTeX data for Static Checkers for Tree Structures and Heaps  Download (pdf) of Static Checkers for Tree Structures and Heaps

The Logic of Entanglement. An invitation. (Version 0.9999)
Bob Coecke
No. RR−03−12. Oxford University Computing Laboratory. October, 2003.
Details about The Logic of Entanglement. An invitation. (Version 0.9999)  BibTeX data for The Logic of Entanglement. An invitation. (Version 0.9999)  Download (ps) of The Logic of Entanglement. An invitation. (Version 0.9999)