TY  - RPRT
TI  - A lambda calculus for quantum computation with classical control
AU  - Peter Selinger
AU  - Benoit Valiron
PY  - 2004
DO  - 10.1007/11417170_26
UR  - https://arxiv.org/abs/cs/0404056
ID  - cs/0404056
ER  -