@unpublished{journalQCA,
author = {Pablo Arrighi and Jonathan Grattage},
title = {{Intrinsically universal n-dimensional quantum cellular automata}},
year = {2011},
note = {Submitted for publication, arXiv:0907.3827},
arxiv = {arXiv:0907.3827}
}
@article{jacQGoL,
author = {Pablo Arrighi and Jonathan Grattage},
title = {A {Quantum Game of Life}},
journal = {Journ\'ees Automates Cellulaires},
year = {2010},
url = {http://www.grattage.co.uk/jon/3DQCA},
note = {Turku, Finland. Companion website: {www.grattage.co.uk/jon/3DQCA}, {\sc hal-00542373}, arXiv:1010.3120},
hal = {hal-00542373},
arxiv = {arXiv:1010.3120}
}
@article{pacQCA,
author = {Pablo Arrighi and Jonathan Grattage},
title = {Partitioned quantum cellular automata are intrinsically universal},
journal = {Physics and Computation},
volume = {1},
year = {2010},
publisher = {Bentham},
arxiv = {arXiv:1010.2335},
note = {Post-proceedings of \emph{Physics and Computation 2009}, arXiv:1010.2335}
}
@article{lataSimple,
author = {Pablo Arrighi and Jonathan Grattage},
title = {A {Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton}},
journal = {Lecture Notes in Computer Science},
pages = {70--81},
volume = {6031},
year = {2010},
publisher = {Springer},
note = {In \emph{Language and Automata Theory and Applications} (LATA), doi:{10.1007/978-3-642-13089-2\_6}, arXiv:1002.1015},
arxiv = {arXiv:1002.1015},
doi = {10.1007/978-3-642-13089-2_6}
}
@article{introQML,
author = {Jonathan Grattage},
title = {An Overview of {QML} with a Concrete Implementation in {H}askell},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {1},
pages = {165-174},
year = {2011},
note = {Proceedings of the \emph{4$^{th}$ Workshop on Developments in Computational Models} (DCM '08),
doi:{\sc 10.1016/j.entcs.2011.01.015}, arXiv:0806.2735},
issn = {1571-0661},
doi = {10.1016/j.entcs.2011.01.015},
arxiv = {arXiv:0806.2735},
url = {http://fop.cs.nott.ac.uk/qml}
}
@article{measQLambda,
author = {Alejandro D{\'\i}az-Caro and Pablo Arrighi and Manuel Gadella and Jonathan J. Grattage},
title = {Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {1},
pages = {59--74},
year = {2011},
note = {Proceedings of the \emph{5$^{th}$ International Workshop on Quantum Physics and Logic} (QPL '08),
doi:{\sc 10.1016/j.entcs.2011.01.006}, arXiv:0806.2447},
issn = {1571-0661},
doi = {10.1016/j.entcs.2011.01.006},
arxiv = {arXiv:0806.2447},
}
@phdthesis{thesis:jjg,
author = {Jonathan Grattage},
title = {QML: A functional quantum programming language},
school = {School of Computer Science and School of Mathematical Sciences, The University of Nottingham},
month = {September},
year = {2006},
url = {http://etheses.nottingham.ac.uk/archive/00000250/}
}
@article{eqQML,
author = {Thorsten Altenkirch and Jonathan Grattage and Juliana Kaizer Vizzotto and Amr Sabry},
title = {An Algebra of Pure Quantum Programming},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {170},
number = {1},
pages = {23--47},
year = {2007},
note = {Proceedings of the \emph{3$^{rd}$ International Workshop on Quantum Programming Languages} (QPL '05),
doi:{\sc 10.1016/j.entcs.2006.12.010}, arXiv:quant-ph/0506012},
issn = {1571-0661},
doi = {10.1016/j.entcs.2006.12.010},
arxiv = {arXiv:quant-ph/0506012}
}
@article{licsQML,
author = {Thorsten Altenkirch and Jonathan Grattage},
title = {A functional quantum programming language},
journal = {the 20$^{th}$ Symposium on Logic in Computer Science},
volume = {0},
issn = {1043-6871},
year = {2005},
pages = {249--258},
publisher = {IEEE Computer Society},
arxiv = {arXiv:quant-ph/0409065},
url = {http://fop.cs.nott.ac.uk/qml},
location = {Chicago, USA},
note = {doi:{\sc 10.1109/lics.2005.1}, arXiv:quant-ph/0409065},
doi = {10.1109/lics.2005.1}
}