Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

Samson Abramsky 2005 Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Algebra and Coalgebra in Computer Science CALCO'05 Springer 1–30 10.1007/115481331 Samson Abramsky Bob Coecke 2004 A categorical semantics of quantum protocols Logic in Computer Science 19 IEEE Computer Society 415–425 10.1109/LICS.2004.1319636 Samson Abramsky Chris Heunen 2012 H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics 71 1–24 John C. Baez 2006 Structural foundations of quantum gravity Quantum quandaries: a category-theoretic perspective 240–265 Oxford University Press Howard Barnum Jonathan Barrett Matthew Leifer Alexander Wilce 2007 A generalized no-broadcasting theorem Physical Review Letters 99 240501 10.1103/PhysRevLett.99.240501 Rejandra Bhatia 2007 Positive definite matrices Princeton University Press Sergio Boixo Carlton M. Caves Animesh Datta Anil Shaji 2006 On decoherence in quantum clock synchronization Laser Physics 16 11 1525–1532 10.1134/S1054660X06110065 Sergio Boixo Steven T. Flammia Carlton M. Caves John M. Geremia 2007 Generalized Limits for Single-Parameter Quantum Estimation Physical Review Letters 98 9 090401–4 10.1103/PhysRevLett.98.090401 Sergio Boixo Chris Heunen 2012 Entangled and sequential quantum protocols with dephasing Physical Review Letters 108 120402 10.1103/PhysRevLett.108.120402 Man-Duen Choi Edward G. Effros 1977 Injectivity and Operator spaces Journal of Functional Analysis 24 156–209 10.1016/0022-1236(77)90052-0 Bob Coecke Ross Duncan 2011 Interacting quantum observables: categorical algebra and diagrammatics New Journal of Physics 13 4 043016 10.1088/1367-2630/13/4/043016 Bob Coecke Éric O. Paquette 2011 Categories for the practising physicist New structures for Physics Lecture Notes in Physics 813 Springer 173–286 Bob Coecke Duško Pavlovi\'c Jamie Vicary 2012 A new description of orthogonal bases Mathematical Structures in Computer Science arXiv:0810.0812 L. Terrell Gardner 1979 Linear maps of C^-algebras preserving the absolute value Proceedings of the American Mathematical Society 76 2 271–278 10.1090/S0002-9939-1979-0537087-0 Vittorio Giovannetti Seth Lloyd Lorenzo Maccone 2006 Quantum Metrology Physical Review Letters 96 1 010401–4 10.1103/PhysRevLett.96.010401 Brendon L. Higgins Dominic W. Berry Stephen D. Bartlett Howard M. Wiseman Geoff J. Pryde 2007 Entanglement-free Heisenberg-limited phase estimation Nature 450 7168 393–396 10.1038/nature06257 Peter Høyer Robert Špalek 2005 Quantum fan-out is powerful Theory of computing 1 81–103 10.4086/toc.2005.v001a005 Michael Keyl Reinhard F. Werner 2007 Channels and maps Dagmar Bruß Gerd Leuchs Lectures on Quantum Information Wiley-VCH 73–86 Joachim Kock 2003 Frobenius algebras and 2-D Topological Quantum Field Theories London Mathematical Society Student Texts 59 Cambridge University Press Micah Blake McCurdy Peter Selinger 2006 Basic dagger compact closed categories Unpublished manuscript, Dalhousie University Cristopher Moore Martin Nilsson 2002 Parallel quantum computation and quantum codes SIAM Journal on Computing 31 3 799–815 10.1137/S0097539799355053 Vern Paulsen 2002 Completely bounded maps and operators algebras Cambridge University Press Duško Pavlovi\'c 2009 Quantum and classical structures in nondeterministic computation Peter Bruza et al. Third International symposium on Quantum Interaction Lecture Notes in Artificial Intelligence 5494 Springer 143–157 10.1007/978-3-642-00834-413 Terry Rudolph Lov Grover 2003 Quantum Communication Complexity of Establishing a Shared Reference Frame Physical Review Letters 91 21 217905 10.1103/PhysRevLett.91.217905 Peter Selinger 2004 Towards a semantics for higher-order quantum computation Quantum Programming Languages. TUCS General Publication 33 127–143 Peter Selinger 2007 Dagger compact closed categories and completely positive maps Quantum Programming Languages Electronic Notes in Theoretical Computer Science 170 Elsevier 139–163 10.1016/j.entcs.2006.12.018 Peter Selinger 2011 A survey of graphical languages for monoidal categories New Structures for Physics Lecture Notes in Physics 813 Springer 289–355