@misc{indiciae1d9368a6ba21,
  title = {A functional quantum programming language},
  author = {Thorsten Altenkirch and Jonathan Grattage},
  year = {2005},
  doi = {10.1109/lics.2005.1},
  url = {https://arxiv.org/abs/quant-ph/0409065},
  note = {Source identifier: quant-ph/0409065}
}