A Categorical Semantics of Quantum Protocols.

Samson Abramsky, Bob Coecke

Browse the full LICS paper archive.