116 citations · 179 across the 6 of their papers we have counts for
7 papers
A Quantum Game of Life
Pablo Arrighi, Jonathan Grattage
This research describes a three dimensional quantum cellular automaton (QCA) which can simulate all other 3D QCA. This intrinsically universal QCA belongs to the simplest subclass…
Partitioned quantum cellular automata are intrinsically universal
Pablo Arrighi, Jonathan Grattage
There have been several non-axiomatic approaches taken to define Quantum Cellular Automata (QCA). Partitioned QCA (PQCA) are the most canonical of these non-axiomatic definitions.…
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton
Pablo Arrighi, Jonathan Grattage
We describe a simple n-dimensional quantum cellular automaton (QCA) capable of simulating all others, in that the initial configuration and the forward evolution of any n-dimension…
An overview of QML with a concrete implementation in Haskell
Jonathan Grattage
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 defi…
Measurements and confluence in quantum lambda calculi with explicit qubits
Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella +1
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…
An Algebra of Pure Quantum Programming
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto +1
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 previous…