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

[AbramskyS:phytqc] Samson Abramsky and Bob Coecke.
**Physical traces: Quantum vs.\ classical information processing**.
In * Proceedings of the 9th Conference on Category Theory and Computer
Science (CTCS 2002)*, volume 69 of * Electronic Notes in Theoretical
Computer Science*. Elsevier Science, 2003.
Also arXiv:cs.CG/0207057.
Available here.

[AbramskyS:catsqp] Samson Abramsky and Bob Coecke.
**A categorical semantics of quantum protocols**.
In * Proceedings of the 19th Annual IEEE Symposium on Logic in Computer
Science (LICS)*. IEEE Computer Society, 2004.
Also arXiv:quant-ph/0402130.
Available here.

[AbramskyS:abspt] Samson Abramsky and Bob Coecke.
**Abstract physical traces**.
* Theory and Applications of Categories*, 14(6):111-124, 2005.
Available here.

[AbramskyS:catql] Samson Abramsky and Ross Duncan.
**A categorical quantum logic**.
* Mathematical Structures in Computer Science*, 16(3):469-489, 2006.
Preliminary version in [SelingerP:qpl2004].
Available here.

[AbramskyS:higlmq] Samson Abramsky.
**High-level methods for quantum computation and information**.
In * Proceedings of the 19th Annual IEEE Symposium on Logic in Computer
Science (LICS)*. IEEE Computer Society, 2004.
Available here.

[AbramskyS:absslf] Samson Abramsky.
**Abstract scalars, loops, and free traced and strongly compact closed
categories**.
In * CALCO 2005*, volume 3629 of * Lecture Notes in Computer
Science*, pages 1-31. Springer, 2005.
Available here.

[AbramskyS:strarc] Samson Abramsky.
**A structural approach to reversible computation**.
* Theoretical Computer Science*, 347(3):441-464, 2005.
Available here.

[AbramskyS:temlak] Samson Abramsky.
**Temperley-Lieb algebra: from knot theory to logic and computation via
quantum mechanics**.
In G. Chen, L. Kauffman, and S. Lomonaco, editors, * Mathematics of Quantum
Computing and Technology*. Taylor and Francis, 2007.
To appear.
Available here.

[AdaoP:proarq] Pedro Adão and Paulo Mateus.
**A process algebra for reasoning about quantum security**.
In * Proceedings of the 3rd International Workshop on Quantum Programming
Languages (QPL 2005)*, volume 170 of * Electronic Notes in Theoretical
Computer Science*, pages 3-21, 2007.
Available here.

[AhoA:comqcu] Alfred Aho and Krysta Svore.
**Compiling quantum circuits using the palindrome transform**.
arXiv:quant-ph/0311008, 2003.
Available here.

[AltenkirchT:algpqp] Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, and Amr Sabry.
**An algebra of pure quantum programming**.
In * Proceedings of the 3rd International Workshop on Quantum Programming
Languages (QPL 2005)*, volume 170 of * Electronic Notes in Theoretical
Computer Science*, pages 23-47, 2007.
Available here.

[AltenkirchT:funqpl] Thorsten Altenkirch and Jonathan Grattage.
**A functional quantum programming language**.
In * Proceedings of the 20th Annual IEEE Symposium on Logic in Computer
Science (LICS)*. IEEE Computer Society, 2005.
Also arXiv:quant-ph/0409065.
Available here.

[AltenkirchT:qmlqdc] Thorsten Altenkirch and Jonathan Grattage.
**QML: Quantum data and control**.
Manuscript, 2005.
Available here.

[ArrighiP:opesft] Pablo Arrighi and Gilles Dowek.
**Operational semantics for formal tensorial calculus**.
In Selinger [SelingerP:qpl2004].
Available here.

[ArrighiP:linalc] Pablo Arrighi and Gilles Dowek.
**Linear-algebraic lambda-calculus**.arXiv:quant-ph/0501150, 2005.
Available here.

[ArrighiP:linalc2] Pablo Arrighi and Gilles Dowek.
**Linear-algebraic lambda-calculus: higher-order, encodings and confluence**.
arXiv:quant-ph/0612199, 2006.
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