Chris Heunen : Publications
Click here to download all publications in a single bibtex file
@article{kunjwalheunenfritz:hypergraphs,
title = "All joint measurability structures are quantum realizable",
author = "Ravi Kunjwal and Chris Heunen and Tobias Fritz",
year = "2014",
journal = "Physical Review A",
number = "5",
pages = "052126",
volume = "89",
doi = "http://dx.doi.org/10.1103/PhysRevA.89.052126",
}
@article{8548,
title = "Quantum theory realises all joint measurability graphs",
author = "Chris Heunen and Tobias Fritz and Manuel L. Reyes",
year = "2014",
journal = "Physical Review A",
pages = "032121",
volume = "89",
doi = "10.1103/PhysRevA.89.032121",
}
@article{heunenreyes:awstar,
title = "Active lattices determine AW*-algebras",
author = "Chris Heunen and Manuel L. Reyes",
year = "2014",
journal = "Journal of Mathematical Analysis and Applications",
pages = "289-313",
url = "http://arxiv.org/abs/1212.5778",
volume = "416",
doi = "10.1016/j.jmaa.2014.02.041",
}
@article{heunen:cccc,
title = "Characterizations of categories of commutative C*-subalgebras",
author = "Chris Heunen",
year = "2014",
journal = "Communications in Mathematical Physics",
number = "1",
pages = "215-238",
url = "http://arxiv.org/abs/1106.5942",
volume = "331",
doi = "10.1007/s00220-014-2088-8",
}
@inproceedings{heunen:piecewisedomains,
title = "Piecewise Boolean algebras and their domains",
author = "Chris Heunen",
year = "2014",
booktitle = "41st International Colloquium on Automata, Logic, and Programming",
pages = "208-219",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "8573",
doi = "10.1007/978-3-662-43951-7_18",
}
@book{QuantumPhysLingOUP,
title = "Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse",
year = "2013",
editor = "Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette",
isbn = "978-0199646296",
month = "February",
publisher = "Oxford University Press",
url = "http://ukcatalogue.oup.com/product/9780199646296.do#.UPAFH4mLLqp",
}
@inbook{coeckeheunenkissinger:compositionalquantumlogic,
title = "Compositional quantum logic",
author = "Bob Coecke and Chris Heunen and Aleks Kissinger",
year = "2013",
booktitle = "Computation, Logic, Games, and Quantum Foundations",
chapter = "Compositional Quantum Logic",
editor = "Bob Coecke and Luke Ong and Prakash Panangaden",
pages = "21-36",
url = "http://arxiv.org/abs/1302.4900",
doi = "10.1007/978-3-642-38164-5_3",
}
@article{8547,
title = "Matrix multiplication is determined by trace and orthogonality",
author = "Chris Heunen and Clare Horseman",
year = "2013",
journal = "Linear Algebra and its Applications",
number = "12",
pages = "4130-4134",
volume = "439",
doi = "10.1016/j.laa.2013.09.039",
}
@article{heunenreyes:diagonal,
title = "Diagonalizing matrices over AW*-algebras",
author = "Chris Heunen and Manuel L. Reyes",
year = "2012",
journal = "Journal of Functional Analysis",
number = "8",
pages = "1873-1898",
url = "http://arxiv.org/abs/1208.5120",
volume = "264",
doi = "10.1016/j.jfa.2013.01.022",
}
@article{abramskyheunen:mcots,
title = "Operational theories and categorical quantum mechanics",
author = "Samson Abramsky and Chris Heunen",
year = "2012",
url = "http://arxiv.org/abs/1206.0921",
}
@article{heunen:elltwo,
title = "On the functor l2",
author = "Chris Heunen",
year = "2012",
booktitle = "Computation, Logic, Games, and Quantum Foundations",
editor = "Bob Coecke and Luke Ong and Prakash Panangaden",
pages = "107-121",
url = "http://arxiv.org/abs/1012.4526",
doi = "10.1007/978-3-642-38164-5_8",
}
@article{heunenlandsmanspitters:synthese,
title = "Bohrification of operator algebras and quantum logic",
author = "Chris Heunen, Nicolaas P. Landsman, and Bas Spitters",
year = "2012",
journal = "Synthese",
number = "3",
pages = "719-752",
volume = "186",
doi = "10.1007/s11229-011-9918-4",
}
@article{vdbergheunen:colim,
title = "Noncommutativity as a colimit",
author = "Benno van den Berg and Chris Heunen",
year = "2012",
journal = "Applied Categorical Structures",
number = "4",
pages = "393-414",
volume = "20",
doi = "10.1007/s10485-011-9246-3",
}
@article{heunencontrerascattaneo:relfrobgpd,
title = "Relative Frobenius algebras are groupoids",
author = "Chris Heunen and Ivan Contreras and Alberto S. Cattaneo",
year = "2012",
journal = "Journal of Pure and Applied Algebra",
pages = "114-124",
url = "http://arxiv.org/abs/1112.1284",
volume = "217",
doi = "10.1016/j.jpaa.2012.04.002",
}
@article{abramskyheunen:hstar,
title = "H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics",
author = "Samson Abramsky and Chris Heunen",
year = "2012",
journal = "Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics",
pages = "1-24",
url = "http://arxiv.org/abs/1011.6123",
volume = "71",
}
@article{heunenlandsmanspitterswolters,
title = "The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach",
author = "Chris Heunen, Nicolaas P. Landsman, Bas Spitters, and Sander Wolters",
year = "2011",
journal = "Journal of the Australian Mathematical Society",
pages = "39-52",
volume = "90",
doi = "10.1017/S1446788711001157",
}
@article{boixoheunen:sequentializable,
title = "Entangled and sequential quantum protocols with dephasing",
author = "Sergio Boixo and Chris Heunen",
year = "2011",
journal = "Physical Review Letters",
pages = "120402",
volume = "108",
doi = "10.1103/PhysRevLett.108.120402",
}
@article{vdbergheunen:nogo,
title = "No-go theorems for functorial localic spectra of noncommutative rings",
author = "Benno van den Berg and Chris Heunen",
year = "2011",
journal = "QPL 2011, Electronic Proceedings in Theoretical Computer Science",
pages = "21-25",
volume = "95",
doi = "10.4204/EPTCS.95.3",
}
@article{heunenboixo:sequentializable,
title = "Completely positive classical structures and sequentializable quantum protocols",
author = "Chris Heunen and Sergio Boixo",
year = "2011",
journal = "QPL 2011, Electronic Proceedings in Theoretical Computer Science",
pages = "91-101",
volume = "95",
doi = "10.4204/EPTCS.95.9",
}
@inproceedings{coeckeheunen:infdim,
title = "Pictures of complete positivity in arbitrary dimension",
author = "Bob Coecke and Chris Heunen",
year = "2011",
journal = "QPL 2011, Electronic Proceedings in Theoretical Computer Science",
pages = "27-35",
volume = "95",
doi = "10.4204/EPTCS.95.4",
}
@article{heunenjacobs:order,
title = "Quantum logic in dagger kernel categories",
author = "Chris Heunen and Bart Jacobs",
year = "2010",
journal = "Order",
number = "2",
pages = "177-212",
volume = "27",
doi = "10.1007/s11083-010-9145-5",
}
@article{heunen:complementarity,
title = "Complementarity in categorical quantum mechanics",
author = "Chris Heunen",
year = "2010",
journal = "Foundations of Physics",
number = "7",
pages = "856--873",
volume = "42",
doi = "10.1007/s10701-011-9585-9",
}
@article{heunenlandsmanspitters:bohrification,
title = "Bohrification",
author = "Chris Heunen, Nicolaas P. Landsman and Bas Spitters",
year = "2009",
editor = "Hans Halvorson",
journal = "Deep Beauty",
url = "http://www.cambridge.org/gb/knowledge/isbn/item6047370/",
}
@article{caspersheunenlandsmanspitters:nlevelsystem,
title = "Intuitionistic quantum logic of an n-level system",
author = "Martijn Caspers and Chris Heunen and Klaas Landsman and Bas Spitters",
year = "2009",
journal = "Foundations of Physics",
number = "7",
pages = "731-759",
publisher = "Springer",
url = "http://arxiv.org/abs/0902.3201",
volume = "39",
doi = "10.1007/s10701-009-9308-7",
}
@article{heunen:embedding,
title = "An embedding theorem for Hilbert categories",
author = "Chris Heunen",
year = "2009",
crossref = "preprint available as arxiv:0811.1448",
journal = "Theory and Applications of Categories",
number = "13",
pages = "321--344",
url = "http://www.tac.mta.ca/tac/volumes/22/13/22-13.pdf",
volume = "22",
}
@article{jacobsheunenhasuo:arrows,
title = "Categorical semantics for arrows",
author = "Bart Jacobs and Chris Heunen and Ichiro Hasuo",
year = "2009",
journal = "Journal of Functional Programming",
number = "3-4",
pages = "403-438",
publisher = "Cambridge University Press",
volume = "19",
doi = "10.1017/S0956796809007308",
}
@article{heunenlandsmanspitters:topos,
title = "A topos for algebraic quantum theory",
author = "Chris Heunen and Nicolaas P. Landsman and Bas Spitters",
year = "2009",
crossref = "preprint available as arxiv:0709.4364",
journal = "Communications in Mathematical Physics",
pages = "63--110",
volume = "291",
doi = "10.1007/s00220-009-0865-6",
}
@inproceedings{heunenjacobs:daggerkernelcategories,
title = "Quantum logic in dagger kernel categories",
author = "Chris Heunen and Bart Jacobs",
year = "2009",
journal = "QPL, Electronic Notes in Theoretical Computer Science",
number = "2",
pages = "79-103",
series = "Electronic Notes in Theoretical Computer Science",
volume = "270",
doi = "10.1016/j.entcs.2011.01.024",
}
@inproceedings{hasuoheunenjacobssokolova:components,
title = "Coalgebraic components in a many-sorted microcosm",
author = "Ichiro Hasuo and Chris Heunen and Bart Jacobs and Ana Sokolova",
year = "2009",
booktitle = "CALCO'09",
journal = "Lecture Notes in Computer Science",
pages = "64-80",
publisher = "Springer",
volume = "5728",
doi = "10.1007/978-3-642-03741-2_6",
}
@phdthesis{heunen:phdthesis,
title = "Categorical quantum models and logics",
author = "Chris Heunen",
year = "2009",
institution = "Radboud University Nijmegen",
isbn = "978 90 8555 024 2",
url = "http://www.amazon.co.uk/Categorical-Quantum-Models-Logics-Proefschriften/dp/9085550246",
}
@article{heunen:compactlyaccessible,
title = "Compactly accessible categories and quantum key distribution",
author = "Chris Heunen",
year = "2008",
journal = "Logical Methods in Computer Science",
number = "4",
volume = "4",
doi = "10.2168/LMCS-4(4:9)2008",
}
@inproceedings{heunenlandsmanspitters:tovariance,
title = "The principle of general tovariance",
author = "Chris Heunen, Nicolaas P. Landsman and Bas Spitters",
year = "2008",
journal = "International Fall Workshop on Geometry and Physics XVI, AIP Conference Proceedings",
pages = "93-102",
volume = "1023",
doi = "10.1063/1.2958182",
}
@inproceedings{heunen:semimoduleenrichment,
title = "Semimodule enrichment",
author = "Chris Heunen",
year = "2008",
booktitle = "MFPS 24",
journal = "Electronic Notes in Theoretical Computer Science",
pages = "192-208",
publisher = "Elsevier",
volume = "218",
doi = "10.1016/j.entcs.2008.10.012",
}
@inproceedings{heunenjacobs:arrows,
title = "Arrows, like Monads, are Monoids",
author = "Chris Heunen and Bart Jacobs",
year = "2006",
journal = "MFPS, Electronic Notes in Theoretical Computer Science",
pages = "219-236",
volume = "158",
doi = "10.1016/j.entcs.2006.04.012",
}
@inproceedings{heunen:silhouettes,
title = "Accurate silhouettes - do polyhedral models suffice?",
author = "Chris Heunen",
year = "2003",
journal = "GMAG'03, IEEE conference proceedings",
pages = "69-74",
doi = "10.1109/GMAG.2003.1219668",
}