TY  - RPRT
TI  - Quantum Hoare Type Theory: Extended Abstract
AU  - Kartik Singhal
AU  - John Reppy
PY  - 2021
DO  - 10.4204/eptcs.340.15
UR  - https://arxiv.org/abs/2109.02198
ID  - 2109.02198
ER  -