Nengkun Yu in nLab
Selected writings
Selected writings
Understanding the linear logic-sector of bunched logic as a kind of quantum logic:
- Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, A Quantum Interpretation of Bunched Logic for Quantum Separation Logic, LICS ‘21: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 75 (2021) 1–14 [arXiv:2102.00329, doi:10.1109/LICS52264.2021.9470673]
category: people
Created on June 1, 2023 at 13:10:21. See the history of this page for a list of all contributions to it.