Extending Gottesman Types Beyond the Clifford Group

Robert Rand,Aarthi Sundaram,Kartik Singhal,Brad Lackey

Appearing at PLanQC: Programming Languages for Quantum Computing