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]
[CoeckeB:povntw] Bob Coecke and Eric Paquette.
POVMs and Naimark's theorem without sums.
arXiv:quant-ph/0608072, 2006.
Available here.
[CoeckeB:quamws] Bob Coecke and Dusko Pavlovic.
Quantum measurements without sums.
arXiv:quant-ph/0608035, 2006.
Available here.
[CoeckeB:loge] Bob Coecke.
The logic of entanglement.
arXiv:quant-ph/0402014, 2004.
Available here.
[CoeckeB:quaifc] Bob Coecke.
Quantum information-flow, concretely, abstractly.
In Selinger [SelingerP:qpl2004].
Available here.
[CoeckeB:strccs] Bob Coecke.
Strongly compact closed semantics.
In Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics (MFPS XXI), volume 155 of Electronic Notes
in Theoretical Computer Science, pages 331-340, 2006.
Available here.
[CoeckeB:dellpq] Bob Coecke.
De-linearizing linearity I: Projective quantum axiomatics from strong
compact closure.
In Proceedings of the 3rd International Workshop on Quantum Programming
Languages (QPL 2005), volume 170 of Electronic Notes in Theoretical
Computer Science, pages 49-72, 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