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
S. Abramsky and B. Coecke