A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Browse the full LICS paper archive.