3

Static Analysis of Quantum Programs via Gottesman Types