Formal semantics of a classical-quantum language

2022/04/01 by Yuxin Deng, Yuan Feng · 2 citations

paper · doi:10.1016/j.tcs.2022.02.017

Cited by

• Bayesian Inference in Quantum Programs
• Noise-aware Verification and Synthesis of Quantum Programs