QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming Abstract (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed...
QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming Abstract (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously developed...
QPL 2005 Preliminary Version An algebra of pure quantum programming Abstract (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed...
An Algebra of Pure Quantum Programming (2005)
Altenkirch, Thorsten, Grattage, Jonathan, Vizzotto, Juliana K., Sabry, Amr
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed...