TY  - RPRT
TI  - A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
AU  - Li Zhou
AU  - Gilles Barthe
AU  - Justin Hsu
AU  - Mingsheng Ying
AU  - Nengkun Yu
PY  - 2021
UR  - https://arxiv.org/abs/2102.00329
ID  - 2102.00329
ER  -