Theo Wang

最新发表

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou (2025). Complete Quantum Relational Hoare Logics from Optimal Transport Duality. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

PDF 引用 DOI DOI arXiv