QML : Quantum data and control
15 Citations•2005•
Thorsten Altenkirch, Jonathan Grattage April
journal unavailable
This work presents an operational semantics of QML programs using quantum circuits, and a denotational semantics using superoperators, and introduces the language QML, a functional language for quantum computations on finite types.
Abstract
We introduce the language QML, a functional language for quantum computations on finite types. QML introduces quantum data and control structures, and integrates reversible and irreversible quantum computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, have to be explicit. We present an operational semantics of QML programs using quantum circuits, and a denotational semantics using superoperators.