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]

A

[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 bib2htmlwritten by
Richard Jones
University of Kent at Canterbury