@inproceedings(abramskycoecke:cqm, author = "Samson Abramsky and Bob Coecke", year = "2008", title = "Categorical quantum mechanics", booktitle = "Handbook of quantum logic and quantum structures: quantum logic", publisher = "Elsevier", pages = "261--324", doi = "10.1016/B978-0-444-52869-8.50010-4", ) @article(abramskyheunen:hstar, author = "Samson Abramsky and Chris Heunen", year = "2012", title = "H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics", journal = "Clifford Lectures", volume = "71", pages = "1--24", ) @book(bhatia:positivematrices, author = "Rejandra Bhatia", year = "2007", title = "Positive definite matrices", publisher = "Princeton University Press", ) @article(cliftonbubhalvorson, author = "Rob Clifton and Jeffrey Bub and Hans Halvorson", year = "2003", title = "Characterizing quantum theory in terms of information-theoretic constraints", journal = "Foundations of Physics", volume = "33", number = "11", pages = "1561--1591", doi = "10.1023/A:1026056716397", ) @article(coecke:mixed, author = "Bob Coecke", year = "2008", title = "Axiomatic Description of Mixed States From Selinger's CPM-construction", journal = "Electronic Notes in Theoretical Computer Science", volume = "210", pages = "3--13", doi = "10.1016/j.entcs.2008.04.014", ) @article(coeckeduncan:redgreen, author = "Bob Coecke and Ross Duncan", year = "2011", title = "Interacting Quantum Observables: Categorical Algebra and Diagrammatics", journal = "New Journal of Physics", volume = "13", pages = "043016", doi = "10.1088/1367-2630/13/4/043016", ) @inproceedings(coeckeheunen:cp, author = "Bob Coecke and Chris Heunen", year = "2011", title = "Pictures of complete positivity in arbitrary dimension", booktitle = "Proceedings of QPL", pages = "29--37", doi = "10.4204/EPTCS.95.4", ) @article(journalversion, author = "Bob Coecke and Chris Heunen and Aleks Kissinger", year = "2013", title = "Categories of Classical and Quantum Channels", journal = "arXiv:1305.3821", ) @inproceedings(coeckepaquettepavlovic:structuralism, author = "Bob Coecke and {\'E}ric O. Paquette and Du{\v {s}}ko Pavlovi{\'c}", year = "2010", title = "Classical and quantum structuralism", editor = "S. Gay and I. Mackey", booktitle = "Semantic Techniques in Quantum Computation", publisher = "Cambridge University Press", pages = "29--69", ) @article(coeckepavlovicvicary:bases, author = "Bob Coecke and Du{\v {s}}ko Pavlovi{\'c} and Jamie Vicary", year = "2012", title = "A new description of orthogonal bases", journal = "Mathematical Structures in Computer Science", volume = "23", number = "3", pages = "555--567", doi = "10.1017/S0960129512000047", ) @inproceedings(coeckeperdrix:environment, author = "Bob Coecke and Simon Perdrix", year = "2010", title = "Environment and classical channels in categorical quantum mechanics", booktitle = "CSL'10/EACSL'10", publisher = "Springer", pages = "230--244", doi = "10.1007/978-3-642-15205-4\_20", ) @book(davidson:cstar, author = "Kenneth R. Davidson", year = "1991", title = "C*-algebras by example", publisher = "American Mathematical Society", ) @article(heunen:complementarity, author = "Chris Heunen", year = "2012", title = "Complementarity in categorical quantum mechanics", journal = "Foundations of Physics", volume = "42", number = "7", pages = "856--873", doi = "10.1007/s10701-011-9585-9", ) @article(heunencontrerascattaneo:groupoids, author = "Chris Heunen and Ivan Contreras and Alberto S. Cattaneo", year = "2012", title = "Relative Frobenius algebras are groupoids", journal = "Journal of Pure and Applied Algebra", volume = "217", pages = "114--124", doi = "10.1016/j.jpaa.2012.04.002", ) @article(keyl:quantuminformation, author = "Michael Keyl", year = "2002", title = "Fundamentals of quantum information theory", journal = "Physical Reports", volume = "369", pages = "431--548", doi = "10.1016/S0370-1573(02)00266-1", ) @inproceedings(keylwerner:lectures, author = "Michael Keyl and Reinhard F. Werner", year = "2007", title = "Channels and maps", editor = "Dagmar Bru{\ss } and Gerd Leuchs", booktitle = "Lectures on Quantum Information", publisher = "Wiley-VCH", pages = "73--86", doi = "10.1002/9783527618637.ch5", ) @book(paulsen:completelypositive, author = "Vern Paulsen", year = "2002", title = "Completely bounded maps and operators algebras", publisher = "Cambridge University Press", ) @inproceedings(selinger:completelypositive, author = "Peter Selinger", year = "2007", title = "Dagger compact closed categories and completely positive maps", booktitle = "QPL", series = "ENTCS", volume = "170", publisher = "Elsevier", pages = "139--163", doi = "10.1016/j.entcs.2006.12.018", ) @inproceedings(selinger:idempotents, author = "Peter Selinger", year = "2008", title = "Idempotents in dagger categories", booktitle = "QPL", series = "ENTCS", volume = "170", publisher = "Elsevier", pages = "107--122", doi = "10.1016/j.entcs.2008.04.021", ) @inproceedings(selinger:graphical, author = "Peter Selinger", year = "2010", title = "A survey of graphical languages for monoidal categories", booktitle = "New Structures for Physics", series = "Lecture Notes in Physics", volume = "813", publisher = "Springer", pages = "289--355", doi = "10.1007/978-3-642-12821-9\_4", ) @article(vicary:quantumalgebras, author = "Jamie Vicary", year = "2011", title = "Categorical formulation of finite-dimensional quantum algebras", journal = "Communications in Mathematical Physics", volume = "304", number = "3", pages = "765--796", doi = "10.1007/s00220-010-1138-0", ) @article(vicary:higher, author = "Jamie Vicary", year = "2012", title = "Higher quantum theory", journal = "Preprint, arXiv:1207.4563", )