Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
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 algebra. One prominent example of such is the famous Kleene Algebra with Tests (KAT), which has furnished both …
Cite
×