An Algebra of Pure Quantum Programming | Zendy

Thorsten Altenkirch | Zendy; Jonathan Grattage | Zendy; Juliana Kaizer Vizzotto | Zendy; Amr Sabry | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Algebra of Pure Quantum Programming

Author(s) -

Thorsten Altenkirch,

Jonathan Grattage,

Juliana Kaizer Vizzotto,

Amr Sabry

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.12.010

Subject(s) - soundness , completeness (order theory) , algebra over a field , semantics (computer science) , denotational semantics , functional programming , fragment (logic) , programming language , mathematics , calculus (dental) , discrete mathematics , computer science , operational semantics , pure mathematics , medicine , mathematical analysis , dentistry

We develop a sound and complete equational theory for the functional quantumprogramming language QML. The soundness and completeness of the theory are withrespect to the previously-developed denotational semantics of QML. Thecompleteness proof also gives rise to a normalisation algorithm following thenormalisation by evaluation approach. The current work focuses on the purefragment of QML omitting measurements.Comment: To appear in ENTCS, 3rd International Workshop on Quantum Programming Languages, 2005. 21 Page

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research