A lambda calculus for quantum computation with classical control.

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases