A Quantum Interpretation of Bunched Logic & Quantum Separation Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu. A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-14, IEEE, 2021. [doi]

This author has not been identified. Look up 'Li Zhou' in GoogleThis author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Justin Hsu' in GoogleThis author has not been identified. Look up 'Mingsheng Ying' in GoogleThis author has not been identified. Look up 'Nengkun Yu' in Google

runs on WebDSL