A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.

Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu

Browse the full LICS paper archive.