TY  - RPRT
TI  - An Algebra of Pure Quantum Programming
AU  - Thorsten Altenkirch
AU  - Jonathan Grattage
AU  - Juliana K. Vizzotto
AU  - Amr Sabry
PY  - 2005
DO  - 10.1016/j.entcs.2006.12.010
UR  - https://arxiv.org/abs/quant-ph/0506012
ID  - quant-ph/0506012
ER  -