Intrinsically universal n-dimensional quantum cellular automata (2009)
Arrighi, Pablo, Grattage, Jonathan
We describe an n-dimensional quantum cellular automaton (QCA) capable of simulating all others, in that the initial configuration and the forward evolution of any n-dimensional QCA can be encoded...
Chapter 1 A Compiler for a Functional Quantum Programming (2008)
Jonathan Grattage, Thorsten Altenkirch
Language
QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming Abstract (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
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...
QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming Abstract (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
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...
QPL 2005 Preliminary Version An algebra of pure quantum programming Abstract (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
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...
An overview of QML with a concrete implementation in Haskell (2008)
This paper gives an introduction to and overview of the functional quantum programming language QML. The syntax of this language is defined and explained, along with a new QML definition of the...
Measurements and confluence in quantum lambda calculi with explicit qubits (2008)
Díaz-Caro, Alejandro, Arrighi, Pablo, Gadella, Manuel, Grattage, Jonathan
This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in a sufficiently...
An Algebra of Pure Quantum Programming (2005)
Altenkirch, Thorsten, Grattage, Jonathan, Vizzotto, Juliana K., Sabry, Amr
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...
2005b) QML: Quantum data and control (2005)
Thorsten Altenkirch, Jonathan Grattage
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...
2005b) QML: Quantum data and control (2005)
Thorsten Altenkirch, Jonathan Grattage
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...
A functional quantum programming language (2005)
Thorsten Altenkirch, Jonathan Grattage
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the...
A functional quantum programming language (2005)
Thorsten Altenkirch, Jonathan Grattage
Abstract. We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms...
A functional quantum programming language (2004)
Altenkirch, Thorsten, Grattage, Jonathan
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the...