The Caus[-] construction takes a compact closed category of basic proces...
The one-way model of Measurement-Based Quantum Computing and the gate-ba...
We give an overview of the circuit optimisation methods used by tket, a
...
We introduce a new architecture-agnostic methodology for mapping abstrac...