Classical-Quantum Language

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