A categorical semantics of quantum protocols
Samson Abramsky and Bob Coecke
Book Title
Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science
Note
Extended version: arXiv:0808.1023
Pages
415−425
Publisher
IEEE Computer Science Press
Year
2004