TY  - RPRT
TI  - Laws of Quantum Programming
AU  - Mingsheng Ying
AU  - Li Zhou
AU  - Gilles Barthe
PY  - 2025
UR  - https://arxiv.org/abs/2412.19463
ID  - 2412.19463
ER  -