Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming

Summary: QPL 2005 Preliminary Version
An Algebra of Pure Quantum Programming
Thorsten Altenkirch1
Jonathan Grattage 1
The University of Nottingham, UK
Juliana K. Vizzotto 2
Federal University of Rio Grande do Sul, Brazil
Amr Sabry 3
Indiana University, USA
We develop a sound and complete equational theory for the functional quantum pro-
gramming language QML. The soundness and completeness of the theory are with
respect to the previously developed denotational semantics of QML. The complete-
ness 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: denotational semantics, completeness, normalisation
1 Introduction
The functional quantum language QML was recently introduced by Altenkirch
and Grattage [AG05]. The semantics of QML is inspired by the denotational


Source: Altenkirch, Thorsten - School of Computer Science, University of Nottingham


Collections: Computer Technologies and Information Sciences