Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control

POPL 2020