@misc{indiciae8773bf18a67d,
  title = {Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions},
  author = {Gilles Barthe and Minbo Gao and Jam Kabeer Ali Khan and Matthijs Muis and Ivan Renison and Keiya Sakabe and Michael Walter and Yingte Xu and Tianshi Yu and Li Zhou},
  year = {2026},
  url = {https://arxiv.org/abs/2510.07051},
  note = {Source identifier: 2510.07051}
}