Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions.

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou

Browse the full LICS paper archive.