Soundness

Formal semantics of a classical-quantum language

We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, …

Yuxin Deng, Yuan Feng