Normal Form Theorem

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra

We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene …

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu