A Quantum Interpretation of Bunched Logic & Quantum Separation Logic | Publicación