A Categorical semantics of Quantum Protocols

We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories with biproducts. We show how the essential structures found...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Abramsky, S, Coecke, B
Aineistotyyppi: Report
Julkaistu: Oxford University Computing Laboratory 2004