Skip to content

A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics.

Renaud Vilmart

VenueA*LICS
Year2019
ProceedingsLICS

Browse the full LICS paper archive.