Chris Heunen : Publications
Books
-
[1]
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
Book chapters
-
[1]
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
Journal papers
-
[1]
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)
-
[2]
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)
-
[3]
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)
-
[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]
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
-
[6]
Operational theories and categorical quantum mechanics
Samson Abramsky and Chris Heunen
2012.
Details about Operational theories and categorical quantum mechanics | BibTeX data for Operational theories and categorical quantum mechanics | Link to Operational theories and categorical quantum mechanics
-
[7]
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/s00220-014-2088-8) | Link to Characterizations of categories of commutative C*−subalgebras
-
[8]
On the functor l2
Chris Heunen
Pages 107−121. 2012.
Details about On the functor l2 | BibTeX data for On the functor l2 | DOI (10.1007/978-3-642-38164-5_8) | Link to On the functor l2
-
[9]
Bohrification
Nicolaas P. Landsman Chris Heunen and Bas Spitters
In Deep Beauty. 2009.
Details about Bohrification | BibTeX data for Bohrification | Link to Bohrification
-
[10]
Quantum logic in dagger kernel categories
Chris Heunen and Bart Jacobs
In Order. Vol. 27. No. 2. Pages 177−212. 2010.
Details about Quantum logic in dagger kernel categories | BibTeX data for Quantum logic in dagger kernel categories | DOI (10.1007/s11083-010-9145-5)
-
[11]
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/s11229-011-9918-4)
-
[12]
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)
-
[13]
The Gelfand spectrum of a noncommutative C*−algebra: a topos−theoretic approach
Chris Heunen Nicolaas P. Landsman Bas Spitters and Sander Wolters
In Journal of the Australian Mathematical Society. Vol. 90. Pages 39−52. 2011.
Details about The Gelfand spectrum of a noncommutative C*−algebra: a topos−theoretic approach | BibTeX data for The Gelfand spectrum of a noncommutative C*−algebra: a topos−theoretic approach | DOI (10.1017/S1446788711001157)
-
[14]
Complementarity in categorical quantum mechanics
Chris Heunen
In Foundations of Physics. Vol. 42. No. 7. Pages 856–873. 2010.
Details about Complementarity in categorical quantum mechanics | BibTeX data for Complementarity in categorical quantum mechanics | DOI (10.1007/s10701-011-9585-9)
-
[15]
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)
-
[16]
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
-
[17]
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
-
[18]
No−go theorems for functorial localic spectra of noncommutative rings
Benno van den Berg and Chris Heunen
In QPL 2011‚ Electronic Proceedings in Theoretical Computer Science. Vol. 95. Pages 21−25. 2011.
Details about No−go theorems for functorial localic spectra of noncommutative rings | BibTeX data for No−go theorems for functorial localic spectra of noncommutative rings | DOI (10.4204/EPTCS.95.3)
-
[19]
Completely positive classical structures and sequentializable quantum protocols
Chris Heunen and Sergio Boixo
In QPL 2011‚ Electronic Proceedings in Theoretical Computer Science. Vol. 95. Pages 91−101. 2011.
Details about Completely positive classical structures and sequentializable quantum protocols | BibTeX data for Completely positive classical structures and sequentializable quantum protocols | DOI (10.4204/EPTCS.95.9)
-
[20]
Compactly accessible categories and quantum key distribution
Chris Heunen
In Logical Methods in Computer Science. Vol. 4. No. 4. 2008.
Details about Compactly accessible categories and quantum key distribution | BibTeX data for Compactly accessible categories and quantum key distribution | DOI (10.2168/LMCS-4(4:9)2008)
-
[21]
Intuitionistic quantum logic of an n−level system
Martijn Caspers‚ Chris Heunen‚ Klaas Landsman and Bas Spitters
In Foundations of Physics. Vol. 39. No. 7. Pages 731−759. 2009.
Details about Intuitionistic quantum logic of an n−level system | BibTeX data for Intuitionistic quantum logic of an n−level system | DOI (10.1007/s10701-009-9308-7) | Link to Intuitionistic quantum logic of an n−level system
-
[22]
An embedding theorem for Hilbert categories
Chris Heunen
In Theory and Applications of Categories. Vol. 22. No. 13. Pages 321–344. 2009.
Details about An embedding theorem for Hilbert categories | BibTeX data for An embedding theorem for Hilbert categories | Download (pdf) of An embedding theorem for Hilbert categories
-
[23]
Categorical semantics for arrows
Bart Jacobs‚ Chris Heunen and Ichiro Hasuo
In Journal of Functional Programming. Vol. 19. No. 3−4. Pages 403−438. 2009.
Details about Categorical semantics for arrows | BibTeX data for Categorical semantics for arrows | DOI (10.1017/S0956796809007308)
-
[24]
A topos for algebraic quantum theory
Chris Heunen‚ Nicolaas P. Landsman and Bas Spitters
In Communications in Mathematical Physics. Vol. 291. Pages 63–110. 2009.
Details about A topos for algebraic quantum theory | BibTeX data for A topos for algebraic quantum theory | DOI (10.1007/s00220-009-0865-6)
Conference papers
-
[1]
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)
-
[2]
Pictures of complete positivity in arbitrary dimension
Bob Coecke and Chris Heunen
Vol. 95. Pages 27−35. 2011.
Details about Pictures of complete positivity in arbitrary dimension | BibTeX data for Pictures of complete positivity in arbitrary dimension | DOI (10.4204/EPTCS.95.4)
-
[3]
Accurate silhouettes − do polyhedral models suffice?
Chris Heunen
Pages 69−74. 2003.
Details about Accurate silhouettes − do polyhedral models suffice? | BibTeX data for Accurate silhouettes − do polyhedral models suffice? | DOI (10.1109/GMAG.2003.1219668)
-
[4]
Arrows‚ like Monads‚ are Monoids
Chris Heunen and Bart Jacobs
Vol. 158. Pages 219−236. 2006.
Details about Arrows‚ like Monads‚ are Monoids | BibTeX data for Arrows‚ like Monads‚ are Monoids | DOI (10.1016/j.entcs.2006.04.012)
-
[5]
The principle of general tovariance
Nicolaas P. Landsman Chris Heunen and Bas Spitters
Vol. 1023. Pages 93−102. 2008.
Details about The principle of general tovariance | BibTeX data for The principle of general tovariance | DOI (10.1063/1.2958182)
-
[6]
Semimodule enrichment
Chris Heunen
In MFPS 24. Vol. 218. Pages 192−208. Elsevier. 2008.
Details about Semimodule enrichment | BibTeX data for Semimodule enrichment | DOI (10.1016/j.entcs.2008.10.012)
-
[7]
Quantum logic in dagger kernel categories
Chris Heunen and Bart Jacobs
Vol. 270 of Electronic Notes in Theoretical Computer Science. No. 2. Pages 79−103. 2009.
Details about Quantum logic in dagger kernel categories | BibTeX data for Quantum logic in dagger kernel categories | DOI (10.1016/j.entcs.2011.01.024)
-
[8]
Coalgebraic components in a many−sorted microcosm
Ichiro Hasuo‚ Chris Heunen‚ Bart Jacobs and Ana Sokolova
In CALCO'09. Vol. 5728. Pages 64−80. Springer. 2009.
Details about Coalgebraic components in a many−sorted microcosm | BibTeX data for Coalgebraic components in a many−sorted microcosm | DOI (10.1007/978-3-642-03741-2_6)
Theses
-
[1]
Categorical quantum models and logics
Chris Heunen
PhD Thesis 2009.
Details about Categorical quantum models and logics | BibTeX data for Categorical quantum models and logics | Download (pdf) of Categorical quantum models and logics | Link to Categorical quantum models and logics