TY  - RPRT
TI  - A Lambda Calculus for Quantum Computation
AU  - Andre van Tonder
PY  - 2004
DO  - 10.1137/s0097539703432165
UR  - https://arxiv.org/abs/quant-ph/0307150
ID  - quant-ph/0307150
ER  -