TY  - RPRT
TI  - Complete Quantum Relational Hoare Logics from Optimal Transport Duality
AU  - Gilles Barthe
AU  - Minbo Gao
AU  - Theo Wang
AU  - Li Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2501.15238
ID  - 2501.15238
ER  -