A categorical semantics of quantum protocols (2004)

by S Abramsky
Venue:in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science 2004, IEEE Comput