Game Semantics for Higher-Order Unitary Quantum Computation
<|reference_start|>Game Semantics for Higher-Order Unitary Quantum Computation: 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 representing all unitary operators at base types. It is compatible with base types and realizable by unitary operators.<|reference_end|>
@article{abramsky2024game,
    title={Game Semantics for Higher-Order Unitary Quantum Computation},
    author={Samson Abramsky and Radha Jagadeesan},
    journal={arXiv preprint arXiv:2404.06646},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.06646},
    primaryClass={cs.PL quant-ph}
}