A categorical semantics of quantum protocols (0)

by S Abramsky, B Coecke
Venue:Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science (LiCS‘04), IEEE Computer Science Press