TY  - RPRT
TI  - An Interpretation of Bunched Logic for Reasoning about Heap-Manipulating Quantum Programs
AU  - Bonan Su
AU  - Li Zhou
AU  - Yuan Feng
AU  - Mingsheng Ying
PY  - 2026
UR  - https://arxiv.org/abs/2409.10153
ID  - 2409.10153
ER  -