A Functional Quantum Programming Language. - Thorsten Altenkirch; Jonathan Grattage (LICS, 2005)

An Algebra of Pure Quantum Programming. - Thorsten Altenkirch; Jonathan Grattage; Juliana Kaizer Vizzotto; Amr Sabry (QPL, 2005)

A functional quantum programming language. - Jonathan Grattage (2006)

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. - Alejandro Díaz-Caro; Pablo Arrighi; Manuel Gadella; Jonathan Grattage (QPL/DCM@ICALP, 2008)

An Overview of QML With a Concrete Implementation in Haskell. - Jonathan Grattage (QPL/DCM@ICALP, 2008)

A Quantum Game of Life. - Pablo Arrighi; Jonathan Grattage (JAC, 2010)

A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. - Pablo Arrighi; Jonathan Grattage (LATA, 2010)

Intrinsically universal n-dimensional quantum cellular automata. - Pablo Arrighi; Jonathan Grattage (J. Comput. Syst. Sci., 2012)

Partitioned quantum cellular automata are intrinsically universal. - Pablo Arrighi; Jonathan Grattage (Nat. Comput., 2012)