Towards a quantum programming language
Mathematical Structures in Computer Science
A Categorical Semantics of Quantum Protocols
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Journal of the ACM (JACM)
Topological-Like Features in Diagrammatical Quantum Circuits
Quantum Information Processing
Axiomatic Description of Mixed States From Selinger's CPM-construction
Electronic Notes in Theoretical Computer Science (ENTCS)
POVMs and Naimark's Theorem Without Sums
Electronic Notes in Theoretical Computer Science (ENTCS)
From Reversible to Irreversible Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
Idempotents in Dagger Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Interacting Quantum Observables
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Bases in Diagrammatic Quantum Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of Quantum Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum and Classical Structures in Nondeterminstic Computation
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
On traced monoidal closed categories
Mathematical Structures in Computer Science
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Strongly Compact Closed Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Categories of direlations and rough set approximation operators
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Environment and classical channels in categorical quantum mechanics
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Information Processing in Convex Operational Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Toy Quantum Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Game Semantics for Quantum Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical Calculus for Quantum Key Distribution (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Phase Groups and the Origin of Non-locality for Qubits
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Logic in Dagger Kernel Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |
Dagger compact closed categories were recently introduced by Abramsky and Coecke, under the name ''strongly compact closed categories'', as an axiomatic framework for quantum mechanics. We present a graphical language for dagger compact closed categories, and sketch a proof of its completeness for equational reasoning. We give a general construction, the CPM construction, which associates to each dagger compact closed category its ''category of completely positive maps'', and we show that the resulting category is again dagger compact closed. We apply these ideas to Abramsky and Coecke's interpretation of quantum protocols, and to D'Hondt and Panangaden's predicate transformer semantics.