Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu

Browse the full PLDI paper archive.