Game Semantics for Higher-Order Unitary Quantum Computation

Samson Abramsky, Radha Jagadeesan

We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of repres…