Complete Quantum Relational Hoare Logics from Optimal Transport Duality.

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou

Browse the full LICS paper archive.