Extending Gottesman Types Beyond the Clifford Group

Publication
International Workshop on Programming Languages for Quantum Computing (PLanQC 2021)