TY  - RPRT
TI  - Unbounded loops in quantum programs: categories and weak while loops
AU  - Pablo Andrés-Martínez
PY  - 2022
UR  - https://arxiv.org/abs/2212.05371
ID  - 2212.05371
ER  -