# 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]

[DanosV:oneqvt] Vincent Danos, Elham Kashefi, and Prakash Panangaden.
**1-qubit versus 2-qubit measurement-based quantum computation**, 2005.
Manuscript.
Available here.

[DanosV:parrru] Vincent Danos, Elham Kashefi, and Prakash Panangaden.
**Parsimonious and robust realizations of unitary maps in the one-way
model**.
* Physical Review A*, 72:064301, 2005.
Also arXiv:quant-ph/0411071.
Available here.

[DanosV:dismbq] Vincent Danos, Ellie D'Hondt, Elham Kashefi, and Prakash Panangaden.
**Distributed measurement-based quantum computation**.
In * Proceedings of the 3rd International Workshop on Quantum Programming
Languages (QPL 2005)*, volume 170 of * Electronic Notes in Theoretical
Computer Science*, pages 73-94, 2007.
Also arXiv:quant-ph/0506070.
Available here.

[DanosV:meac] Vincent Danos, Elham Kashefi, and Prakash Panangaden.
**The measurement calculus**.
* Journal of the ACM*, 54(2), 2007.
Preliminary version in arXiv:quant-ph/0412135.
Available here.

[DanosV:detom] Vincent Danos and Elham Kashefi.
**Determinism in the one-way model**.
* Physical Review A*, 74:052310, 2006.
Also arXiv:quant-ph/0506062.
Available here.

[DanosV:paumu] Vincent Danos and Elham Kashefi.
**Pauli measurements are universal**.
In * Proceedings of the 3rd International Workshop on Quantum Programming
Languages (QPL 2005)*, volume 170 of * Electronic Notes in Theoretical
Computer Science*, pages 95-100, 2007.
Available
here.

[DeutschD:quatct] David Deutsch.
**Quantum theory, the Church-Turing principle and the universal quantum
computer**.
* Proceedings of the Royal Society of London A*, 400:97-117, 1985.
Available
here.

[DHondtE:reaqk] Ellie D'Hondt and Prakash Panangaden.
**Reasoning about quantum knowledge**.
In * Proceedings of FSTTCS'05*, volume 3821 of * Lecture Notes in
Computer Science*, 2005.
Available here.

[DHondtE:compwg] Ellie D'Hondt and Prakash Panangaden.
**The computational power of the W and GHZ states**.
* Quantum Information and Computation*, 6(2):173-183, 2006.
Available here.

[DHondtE:quawp] Ellie D'Hondt and Prakash Panangaden.
**Quantum weakest preconditions**.
* Mathematical Structures in Computer Science*, 16(3):429-451, 2006.
Preliminary version in [SelingerP:qpl2004]; also arXiv:quant-ph/0501157.
Available here.

[DHondtE:disqcm] Ellie D'Hondt.
* Distributed quantum computation: a measurement-based approach*.
PhD thesis, Vrije Universiteit Brussel, 2005.
Available here.

[DiPierroA:quacp] Alessandra Di Pierro and Herbert Wiklicky.
**Quantum constraint programming**.
In * Proceedings of the APPSIA-GULP-PRODE Joint Conference on Declarative
Programming*, 2001.
Online proceedings at
http://www.di.uevora.pt/˜agp01/accepted.html.Available here.

[DuncanR:belnbs] Ross Duncan.
**Believe it or not, Bell states are a model of multiplicative linear
logic**.
Technical Report PRG-RR-04-18, Programming Research Group, Oxford University
Computing Laboratory, 2004.
Available here.

[DuncanR:typqc] Ross Duncan.
* Types for Quantum Computing*.
DPhil thesis, University of Oxford, 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 `bib2html`

written by

Richard Jones

University of Kent at Canterbury