| QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming Abstract (2008) | |||||||||||||||
Abstract | |||||||||||||||
| 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 normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements. Key words: quantum programming, completeness, normalisation 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||