Bibliography on Quantum Programming Languages

This bibliography was originally compiled in association with my article Quantum Programming Languages: Survey and Bibliography (Mathematical Structures in Computer Science 16(4), 2006). Its original topic was quantum programming languages, but this has widened to include semantics of quantum computation and structural approaches to quantum computing.

The complete bibliography as a BibTeX file is here.

The authors of the papers, with links to their home pages, are listed here.

Please send me details of any corrections or omissions: simon at dcs.gla.ac.uk. I will do my best to keep the bibliography up to date.

The tools for processing the bibliography into HTML and for searching were developed by Richard Jones.

Simon Gay

Last updated 22 May 2007.

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

B

[BaezJ:quaqct] John Baez. Quantum quandaries: a category-theoretic perspective. In Dean Rickles, Steven French, and Juha T. Saatsi, editors, The Structural Foundations of Quantum Gravity, pages 240-266. Oxford University Press, 2006. Available here.

[BakerG:qgossq] Greg Baker. Qgol: a system for simulating quantum computations: theory, implementation and insight, 1996. Honours thesis, Macquarie University; available as www.ifost.org.au/˜gregb/q-gol/QgolThesis.pdf.Available here.

[BaltagA:logqp] Alexandru Baltag and Sonja Smets. The logic of quantum programs. In Selinger [SelingerP:qpl2004]. Available here.

[BaltagA:lqpdlq] Alexandru Baltag and Sonja Smets. LQP: The dynamic logic of quantum information. Mathematical Structures in Computer Science, 16(3):491-525, 2006. Available here.

[BettelliS:towaqp] Stefano Bettelli, Tommaso Calarco, and Luciano Serafini. Toward an architecture for quantum programming. The European Physical Journal D, 25:181-200, 2003. Also arXiv:cs.PL/0103009. Available here.

[BluteRF:disqcd] Richard F. Blute, Ivan T. Ivanov, and Prakash Panangaden. Discrete quantum causal dynamics. International Journal of Theoretical Physics, 42:2025-2041, 2001. Also arXiv:gr-qc/0109053. Available here.

[BroadbentA:parqc] Anne Broadbent and Elham Kashefi. Parallelizing quantum circuits. arXiv:quant-ph/0704.1736, 2007. Available here.

[BrowneDE:genfdm] Daniel E. Browne, Elham Kashefi, Mehdi Mhalla, and Simon Perdrix. Generalized flow and determinism in measurement-based quantum computation. arXiv:quant-ph/0702212, 2007. Available here.

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

This file was generated by bib2htmlwritten by
Richard Jones
University of Kent at Canterbury