
The authors 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, and is compatible with base types and realizable by unitary operators.


coremsg

formal-model-for-higher-order-quantum-computation-using-game-semantics


Formal Model for Higher-Order Quantum Computation using Game Semantics


title_rewrite


Quantum circuits with non-unitary noise channels have a fundamental limit on space overhead for fault tolerance.


lower-bound-on-space-overhead-of-fault-tolerant-quantum-computation


Lower Bound on Space Overhead of Fault-Tolerant Quantum Computation
