Gottesman Types for Quantum Programs

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
January 2020
PDF Cite Slides Video
Type
Conference paper
Publication
International Conference on Quantum Physics and Logic (QPL 2020)