research
∙
05/23/2022
Higher-order causal theories are models of BV-logic
The Caus[-] construction takes a compact closed category of basic proces...
share
research
∙
09/13/2021
Relating Measurement Patterns to Circuits via Pauli Flow
The one-way model of Measurement-Based Quantum Computing and the gate-ba...
research
∙
06/04/2019
Phase Gadget Synthesis for Shallow Circuits
We give an overview of the circuit optimisation methods used by tket, a ...
research
∙
02/21/2019