tokens: Peter Selinger , Benoit Valiron , https://doi.org/10.1007/11417170_26A lambda calculus for quantum computation with classical control , TLCA 2005 , Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications : 354 - 368 ( 2005 ) .