Complete Quantum Relational Hoare Logics from Optimal Transport Duality. - Gilles Barthe; Minbo Gao; Theo Wang; Li Zhou 013 (CoRR, 2025)