Yuxiang Peng

最新发表

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.

引用 DOI URL