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 University of Oxford. 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/s00220-018-3222-9)
-
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/1367-2630/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/978-3-662-43951-7_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/978-3-642-38164-5_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/978-3-0348-0043-3_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/s10485-011-9246-3)
-
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/978-3-642-03073-4)
-
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)
-
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/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)
-
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)