works on
adaptive protocols 1algebraic methods 1cohomology 1contextuality 1measurement-based quantum computation 1quantum foundations 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

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…