Skip to main content

A Categorical Semantics of Quantum Protocols

S. Abramsky and B. Coecke

Book Title
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004
Pages
415−425
Publisher
IEEE Computer Society
Year
2004