TY  - RPRT
TI  - Gottesman Types for Quantum Programs
AU  - Robert Rand
AU  - Aarthi Sundaram
AU  - Kartik Singhal
AU  - Brad Lackey
PY  - 2021
DO  - 10.4204/eptcs.340.14
UR  - https://arxiv.org/abs/2109.02197
ID  - 2109.02197
ER  -