Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions A Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou. LICS 2026 , arXiv:2510.07051 .Share on Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next
A Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou. LICS 2026 , arXiv:2510.07051 .
