@misc{indiciae565499007bc3,
  title = {A Lambda Calculus for Quantum Computation},
  author = {Andre van Tonder},
  year = {2004},
  doi = {10.1137/s0097539703432165},
  url = {https://arxiv.org/abs/quant-ph/0307150},
  note = {Source identifier: quant-ph/0307150}
}