@misc{indiciae2be8edd688bb,
  title = {Complete Quantum Relational Hoare Logics from Optimal Transport Duality},
  author = {Gilles Barthe and Minbo Gao and Theo Wang and Li Zhou},
  year = {2025},
  url = {https://arxiv.org/abs/2501.15238},
  note = {Source identifier: 2501.15238}
}