@misc{indiciaea1fcd51b1753,
  title = {An Algebra of Pure Quantum Programming},
  author = {Thorsten Altenkirch and Jonathan Grattage and Juliana K. Vizzotto and Amr Sabry},
  year = {2005},
  doi = {10.1016/j.entcs.2006.12.010},
  url = {https://arxiv.org/abs/quant-ph/0506012},
  note = {Source identifier: quant-ph/0506012}
}