TY  - RPRT
TI  - Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
AU  - Gilles Barthe
AU  - Minbo Gao
AU  - Jam Kabeer Ali Khan
AU  - Matthijs Muis
AU  - Ivan Renison
AU  - Keiya Sakabe
AU  - Michael Walter
AU  - Yingte Xu
AU  - Tianshi Yu
AU  - Li Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2510.07051
ID  - 2510.07051
ER  -