Sciweavers

Share
ENTCS
2007

An Algebra of Pure Quantum Programming

9 years 8 months ago
An Algebra of Pure Quantum Programming
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 denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisationby-evaluation approach. The current work focuses on the pure fragment of QML, omitting measurements. Key words: denotational semantics, completeness, normalisation
Thorsten Altenkirch, Jonathan Grattage, Juliana Ka
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry
Comments (0)
books