Quantum Group: Publications

[1]
A Study of Entanglement in a Categorical Framework of Natural Language
Dimitri Kartsaklis and Mehrnoosh Sadrzadeh
In Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL). Kyoto‚ Japan. June, 2014.
Details about A Study of Entanglement in a Categorical Framework of Natural Language  BibTeX data for A Study of Entanglement in a Categorical Framework of Natural Language  Download (pdf) of A Study of Entanglement in a Categorical Framework of Natural Language

[2]
Compositional Operators in Distributional Semantics
Dimitri Kartsaklis
In Springer Science Reviews. April, 2014.
Details about Compositional Operators in Distributional Semantics  BibTeX data for Compositional Operators in Distributional Semantics  Download (pdf) of Compositional Operators in Distributional Semantics  DOI (10.1007/s403620140017z)

[3]
Characterizations of categories of commutative C*−subalgebras
Chris Heunen
In Communications in Mathematical Physics. Vol. 331. No. 1. Pages 215−238. 2014.
Details about Characterizations of categories of commutative C*−subalgebras  BibTeX data for Characterizations of categories of commutative C*−subalgebras  DOI (10.1007/s0022001420888)  Link to Characterizations of categories of commutative C*−subalgebras

[4]
Active lattices determine AW*−algebras
Chris Heunen and Manuel L. Reyes
In Journal of Mathematical Analysis and Applications. Vol. 416. Pages 289−313. 2014.
Details about Active lattices determine AW*−algebras  BibTeX data for Active lattices determine AW*−algebras  DOI (10.1016/j.jmaa.2014.02.041)  Link to Active lattices determine AW*−algebras

[5]
All joint measurability structures are quantum realizable
Ravi Kunjwal‚ Chris Heunen and Tobias Fritz
In Physical Review A. Vol. 89. No. 5. Pages 052126. 2014.
Details about All joint measurability structures are quantum realizable  BibTeX data for All joint measurability structures are quantum realizable  DOI (http://dx.doi.org/10.1103/PhysRevA.89.052126)

[6]
Quantum theory realises all joint measurability graphs
Chris Heunen‚ Tobias Fritz and Manuel L. Reyes
In Physical Review A. Vol. 89. Pages 032121. 2014.
Details about Quantum theory realises all joint measurability graphs  BibTeX data for Quantum theory realises all joint measurability graphs  DOI (10.1103/PhysRevA.89.032121)

[7]
Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning
Edward Grefenstette and Mehrnoosh Sadrzadeh
In Computational Linguistics. 2014.
Details about Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning  BibTeX data for Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning

[8]
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)

[9]
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

[10]
Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse
Chris Heunen‚ Mehrnoosh Sadrzadeh and Edward Grefenstette, editors
Oxford University Press. February, 2013.
Details about Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse  BibTeX data for Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse  Link to Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse

[11]
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

[12]
Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras
Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh‚ Stephen Pulman and Bob Coecke
In A. Chubb J. Eskandarian and V. Harizanov, editors, Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press. 2013.
To appear
Details about Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras  BibTeX data for Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras  Download (pdf) of Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

[13]
Matrix multiplication is determined by trace and orthogonality
Chris Heunen and Clare Horseman
In Linear Algebra and its Applications. Vol. 439. No. 12. Pages 4130−4134. 2013.
Details about Matrix multiplication is determined by trace and orthogonality  BibTeX data for Matrix multiplication is determined by trace and orthogonality  DOI (10.1016/j.laa.2013.09.039)

[14]
Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
Edward Grefenstette
In Proceedings of the Second Joint Conference on Lexical and Computational Semantics. 2013.
Details about Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors  BibTeX data for Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors  Download (pdf) of Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors

[15]
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
Bob Coecke‚ Edward Grefenstette and Mehrnoosh Sadrzadeh
In Annals of Pure and Applied Logic. 2013.
Details about Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus  BibTeX data for Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus  Link to Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus

[16]
Multi−Step Regression Learning for Compositional Distributional Semantics
Edward Grefenstette‚ Georgiana Dinu‚ Yao−Zhong Zhang‚ Mehrnoosh Sadrzadeh and Marco Baroni
In Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013). 2013.
Details about Multi−Step Regression Learning for Compositional Distributional Semantics  BibTeX data for Multi−Step Regression Learning for Compositional Distributional Semantics  Download (pdf) of Multi−Step Regression Learning for Compositional Distributional Semantics

[17]
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

[18]
A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments
Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh and Stephen Pulman
In Proceedings of 24th International Conference on Computational Linguistics (COLING): Posters. Pages 549−558. Mumbai‚ India. December, 2012.
Details about A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments  BibTeX data for A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments  Download (pdf) of A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments

[19]
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)

[20]
H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics
Samson Abramsky and Chris Heunen
In Clifford Lectures‚ AMS Proceedings of Symposia in Applied Mathematics. Vol. 71. Pages 1−24. 2012.
Details about H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics  BibTeX data for H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics  Link to H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics

[21]
Diagonalizing matrices over AW*−algebras
Chris Heunen and Manuel L. Reyes
In Journal of Functional Analysis. Vol. 264. No. 8. Pages 1873−1898. 2012.
Details about Diagonalizing matrices over AW*−algebras  BibTeX data for Diagonalizing matrices over AW*−algebras  DOI (10.1016/j.jfa.2013.01.022)  Link to Diagonalizing matrices over AW*−algebras

[22]
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

[23]
Bohrification of operator algebras and quantum logic
Chris Heunen Nicolaas P. Landsman and Bas Spitters
In Synthese. Vol. 186. No. 3. Pages 719−752. 2012.
Details about Bohrification of operator algebras and quantum logic  BibTeX data for Bohrification of operator algebras and quantum logic  DOI (10.1007/s1122901199184)

[24]
Entangled and sequential quantum protocols with dephasing
Sergio Boixo and Chris Heunen
In Physical Review Letters. Vol. 108. Pages 120402. 2011.
Details about Entangled and sequential quantum protocols with dephasing  BibTeX data for Entangled and sequential quantum protocols with dephasing  DOI (10.1103/PhysRevLett.108.120402)

[25]
A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations
Mehrnoosh Sadrzadeh and Edward Grefenstette
In Lecture Notes in Computer Science. Vol. 7052. Pages 35–47. 2011.
Details about A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations  BibTeX data for A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations  Link to A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations

[26]
Experimental Support for a Categorical Compositional Distributional Model of Meaning
Edward Grefenstette and Mehrnoosh Sadrzadeh
In Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing. 2011.
Details about Experimental Support for a Categorical Compositional Distributional Model of Meaning  BibTeX data for Experimental Support for a Categorical Compositional Distributional Model of Meaning  Download (pdf) of Experimental Support for a Categorical Compositional Distributional Model of Meaning

[27]
Experimenting with Transitive Verbs in a DisCoCat
Edward Grefenstette and Mehrnoosh Sadrzadeh
In Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics. 2011.
Details about Experimenting with Transitive Verbs in a DisCoCat  BibTeX data for Experimenting with Transitive Verbs in a DisCoCat  Download (pdf) of Experimenting with Transitive Verbs in a DisCoCat

[28]
Concrete Sentence Spaces for Compositional Distributional Models of Meaning
Edward Grefenstette‚ Mehrnoosh Sadrzadeh‚ Stephen Clark‚ Bob Coecke and Stephen Pulman
In Proceedings of the 9th International Conference on Computational Semantics (IWCS11). Pages 125–134. 2011.
Details about Concrete Sentence Spaces for Compositional Distributional Models of Meaning  BibTeX data for Concrete Sentence Spaces for Compositional Distributional Models of Meaning  Download (pdf) of Concrete Sentence Spaces for Compositional Distributional Models of Meaning

[29]
Toy Quantum Categories (Extended Abstract)
Bob Coecke and Bill Edwards
In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 1. Pages 29 − 40. 2011.
arXiv:0808.1037
Details about Toy Quantum Categories (Extended Abstract)  BibTeX data for Toy Quantum Categories (Extended Abstract)

[30]
Phase groups and the origin of non−locality for qubits
Bob Coecke‚ Bill Edwards and Robert W. Spekkens
In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 2. Pages 15−36. 2011.
arXiv:1003.5005
Details about Phase groups and the origin of non−locality for qubits  BibTeX data for Phase groups and the origin of non−locality for qubits

[31]
Graphical Calculus for Quantum Key Distribution (Extended Abstract)
Bob Coecke‚ Quanlong Wang‚ Baoshan Wang‚ Yongjun Wang and Qiye Zhang
In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 2. Pages 231 − 249. 2011.
Details about Graphical Calculus for Quantum Key Distribution (Extended Abstract)  BibTeX data for Graphical Calculus for Quantum Key Distribution (Extended Abstract)  Link to Graphical Calculus for Quantum Key Distribution (Extended Abstract)

[32]
Categorical Quantum Circuits
Ville Bergholm and Jacob Biamonte
No. RR−10−17. OUCL. September, 2011.
Details about Categorical Quantum Circuits  BibTeX data for Categorical Quantum Circuits  Download (pdf) of Categorical Quantum Circuits  Link to Categorical Quantum Circuits

[33]
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

[34]
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

[35]
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

[36]
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

[37]
The Compositional Structure of Multipartite Quantum Entanglement
Bob Coecke and Aleks Kissinger
In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). Pages 297−308. 2010.
Extended version: arXiv:1002.2540
Details about The Compositional Structure of Multipartite Quantum Entanglement  BibTeX data for The Compositional Structure of Multipartite Quantum Entanglement

[38]
Environment and classical channels in categorical quantum mechanics
Bob Coecke and Simon Perdrix
In Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL). Vol. 6247 of Lecture Notes in Computer Science. Pages 230−244. 2010.
Extended version: arXiv:1004.1598
Details about Environment and classical channels in categorical quantum mechanics  BibTeX data for Environment and classical channels in categorical quantum mechanics

[39]
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

[40]
Quantum Picturalism
Bob Coecke
In Contemporary Physics. Vol. 51. Pages 59−83. 2009.
arXiv:0908.1787
Details about Quantum Picturalism  BibTeX data for Quantum Picturalism

[41]
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)

[42]
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)

[43]
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

[44]
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

[45]
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

[46]
Interacting quantum observables
Bob Coecke and Ross Duncan
In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). 2008.
Extended version: arXiv:quant−ph/09064725
Details about Interacting quantum observables  BibTeX data for Interacting quantum observables

[47]
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)

[48]
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)

[49]
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

[50]
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

[51]
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

[52]
Quantum measurements without sums
Bob Coecke and Dusko Pavlovic
In G. Chen‚ L. Kauffman and S. Lamonaco, editors, Mathematics of Quantum Computing and Technology. Pages 567–604. Taylor and Francis. 2007.
arXiv:quant−ph/0608035
Details about Quantum measurements without sums  BibTeX data for Quantum measurements without sums

[53]
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

[54]
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)

[55]
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

[56]
Resources for measurement−based quantum computation: A unifying view
S. Perdrix Ph. Jorrand
In Proceedings of Quantum Information‚ Computation and Communication. Pages 111−120. 2005.
Details about Resources for measurement−based quantum computation: A unifying view  BibTeX data for Resources for measurement−based quantum computation: A unifying view  Download (pdf) of Resources for measurement−based quantum computation: A unifying view

[57]
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

[58]
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

[59]
A categorical semantics of quantum protocols
Samson Abramsky and Bob Coecke
In Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science. Pages 415−425. IEEE Computer Science Press. 2004.
Extended version: arXiv:0808.1023
Details about A categorical semantics of quantum protocols  BibTeX data for A categorical semantics of quantum protocols

[60]
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

[61]
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)