A lambda calculus for quantum computation with classical control (2005)

by P Selinger, B Valiron
Venue:In Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA), Springer-Verlag, LNCS 3461