Static Analysis of Quantum Programs via Gottesman Types

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
January 2021
PDF Cite arXiv
Type
Preprint
Publication
arXiv preprint