Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=450661
Copy and paste this citation
PETER SELINGER
and BENOIT VALIRON
(2006).
A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science, 16
,
pp 527-552
doi:10.1017/S0960129506005238