@article{AbramskyS:catql,
author={Samson Abramsky and Ross Duncan},
title={A Categorical Quantum Logic},
journal={Mathematical Structures in Computer Science},
volume={16},
number={3},
pages={469--489},
url={http://dx.doi.org/10.1017/S0960129506005275},
note={Preliminary version in \cite{SelingerP:qpl2004}},
year={2006}}

@inproceedings{AbramskyS:catsqp,
author={Samson Abramsky and Bob Coecke},
title={A Categorical Semantics of Quantum Protocols},
booktitle={Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)},
publisher={IEEE Computer Society},
note={Also arXiv:quant-ph/0402130},
url={http://www.arxiv.org/abs/quant-ph/0402130},
year={2004}} 

@inproceedings{AbramskyS:higlmq,
author={Samson Abramsky},
title={High-Level Methods for Quantum Computation and Information},
booktitle={Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)},
publisher={IEEE Computer Society},
url={http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/pubsthematic.html},
year={2004}} 

@inproceedings{AbramskyS:phytqc,
author={Samson Abramsky and Bob Coecke},
title={Physical Traces: Quantum vs.\ Classical Information Processing},
booktitle={Proceedings of the 9th Conference on Category Theory and Computer Science (CTCS 2002)},
series={Electronic Notes in Theoretical Computer Science},
volume={69},
publisher={Elsevier Science},
note={Also arXiv:cs.CG/0207057},
url={http://www.arxiv.org/abs/cs.CG/0207057},
year={2003}} 

@article{AbramskyS:abspt,
author={Samson Abramsky and Bob Coecke},
title={Abstract Physical Traces},
journal={Theory and Applications of Categories},
volume={14},
number={6},
pages={111--124},
url={http://www.tac.mta.ca/tac/volumes/14/6/14-06.pdf},
year={2005}}

@inproceedings{AbramskyS:absslf,
author={Samson Abramsky},
title={Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories},
booktitle={CALCO 2005},
series={Lecture Notes in Computer Science},
volume={3629},
pages={1--31},
publisher={Springer},
url={http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/calco05.pdf},
year={2005}}

@article{AbramskyS:strarc,
author={Samson Abramsky},
title={A structural approach to reversible computation},
journal={Theoretical Computer Science},
volume={347},
number={3},
pages={441--464},
url={http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/revised.pdf},
year={2005}}

@incollection{AbramskyS:temlak,
author={Samson Abramsky},
title={Temperley-{L}ieb algebra: from knot theory to logic and computation via quantum mechanics},
booktitle={Mathematics of Quantum Computing and Technology},
editor={G. Chen and  L. Kauffman and S. Lomonaco},
publisher={Taylor and Francis},
note={To appear},
url={http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/tambook.pdf},
year={2007}}

@inproceedings{AdaoP:proarq,
author={Pedro Ad{\~{a}}o and Paulo Mateus},
title={A Process Algebra for Reasoning about Quantum Security},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={3--21}, 
url={http://wslc.math.ist.utl.pt/cgi-bin/uncgi/bib2html.tcl?author=pmat},
year={2007}}

@misc{AhoA:comqcu,
author={Alfred Aho and Krysta Svore},
title={Compiling Quantum Circuits using the Palindrome Transform},
howpublished={arXiv:quant-ph/0311008},
url={http://www.arxiv.org/abs/quant-ph/0311008},
year={2003}}

@inproceedings{AltenkirchT:algpqp,
author={Thorsten Altenkirch and Jonathan Grattage and Juliana Kaizer Vizzotto and Amr Sabry},
title={An Algebra of Pure Quantum Programming},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={23--47}, 
url={http://www.cs.nott.ac.uk/~txa/publ/},
year={2007}}

@inproceedings{AltenkirchT:funqpl,
author={Thorsten Altenkirch and Jonathan Grattage},
title={A functional quantum programming language},
booktitle={Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS)},
publisher={IEEE Computer Society},
note={Also arXiv:quant-ph/0409065},
url={http://www.arxiv.org/abs/quant-ph/0409065},
year={2005}} 

@unpublished{AltenkirchT:qmlqdc,
author={Thorsten Altenkirch and Jonathan Grattage},
title={{QML}: Quantum data and control},
note={Manuscript},
url={http://www.cs.nott.ac.uk/~txa/publ/},
year={2005}}

@misc{ArrighiP:linalc,
author={Pablo Arrighi and Gilles Dowek},
title={Linear-algebraic $\lambda$-calculus},
howpublished={arXiv:quant-ph/0501150},
url={http://www.arxiv.org/abs/quant-ph/0501150},
year={2005}}

@misc{ArrighiP:linalc2,
author={Pablo Arrighi and Gilles Dowek},
title={Linear-algebraic $\lambda$-calculus: higher-order, encodings and confluence},
howpublished={arXiv:quant-ph/0612199},
url={http://www.arxiv.org/abs/quant-ph/0612199},
year={2006}}

@inproceedings{ArrighiP:opesft,
author={Pablo Arrighi and Gilles Dowek},
title={Operational semantics for formal tensorial calculus},
url={http://www.mathstat.dal.ca/~selinger/qpl2004/proceedings.html},
crossref={SelingerP:qpl2004}}

@incollection{BaezJ:quaqct,
author={John Baez},
title={Quantum quandaries: a category-theoretic perspective},
booktitle={The Structural Foundations of Quantum Gravity},
editor={Dean Rickles and Steven French and Juha T. Saatsi},
publisher={Oxford University Press},
pages={240--266},
url={http://www.arxiv.org/abs/quant-ph/0404040},
year={2006}} 

@misc{BakerG:qgossq,
author={Greg Baker},
title={Qgol: a system for simulating quantum computations: theory, implementation and insight},
note={Honours thesis, Macquarie University; available as \texttt{www.ifost.org.au/˜gregb/q-gol/QgolThesis.pdf}},
url={http://www.ifost.org.au/~gregb/q-gol/QgolThesis.pdf},
year={1996}}

@inproceedings{BaltagA:logqp,
author={Alexandru Baltag and Sonja Smets},
title={The logic of quantum programs},
url={http://www.mathstat.dal.ca/~selinger/qpl2004/proceedings.html},
crossref={SelingerP:qpl2004}}

@article{BaltagA:lqpdlq,
author={Alexandru Baltag and Sonja Smets},
title={{LQP}: The Dynamic Logic of Quantum Information},
journal={Mathematical Structures in Computer Science},
volume={16},
number={3},
pages={491--525},
url={http://dx.doi.org/10.1017/S0960129506005299},
year={2006}}

@article{BettelliS:towaqp,
author={Stefano Bettelli and Tommaso Calarco and Luciano Serafini},
title={Toward an architecture for quantum programming},
journal={The European Physical Journal D},
volume={25},
pages={181--200},
note={Also arXiv:cs.PL/0103009},
url={http://www.edpsciences.org/articles/epjd/pdf/2003/09/d02124.pdf},
year={2003}}

@article{BluteRF:disqcd,
author={Richard F. Blute and Ivan T. Ivanov and Prakash Panangaden},
title={Discrete Quantum Causal Dynamics},
journal={International Journal of Theoretical Physics},
volume={42},
pages={2025--2041},
note={Also arXiv:gr-qc/0109053},
url={http://www.arxiv.org/abs/gr-qc/0109053},
year={2001}}

@misc{BroadbentA:parqc,
author={Anne Broadbent and Elham Kashefi},
title={Parallelizing Quantum Circuits},
howpublished={arXiv:quant-ph/0704.1736},
url={http://www.arxiv.org/abs/quant-ph/0704.1736},
year={2007}}

@misc{BrowneDE:genfdm,
author={Daniel E. Browne and Elham Kashefi and Mehdi Mhalla and Simon Perdrix},
title={Generalized Flow and Determinism in Measurement-based Quantum Computation},
howpublished={arXiv:quant-ph/0702212},
url={http://www.arxiv.org/abs/quant-ph/0702212},
year={2007}}

@inproceedings{CoeckeB:dellpq,
author={Bob Coecke},
title={De-linearizing linearity {I}: Projective quantum axiomatics from strong compact closure},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={49--72},
url={http://arxiv.org/pdf/quant-ph/0506134}, 
year={2007}}

@misc{CoeckeB:loge,
author={Bob Coecke},
title={The Logic of Entanglement},
howpublished={arXiv:quant-ph/0402014},
url={http://www.arxiv.org/abs/quant-ph/0402014},
year={2004}}

@inproceedings{CoeckeB:quaifc,
author={Bob Coecke},
title={Quantum information-flow, concretely, abstractly},
crossref={SelingerP:qpl2004}}

@misc{CoeckeB:quamws,
author={Bob Coecke and Dusko Pavlovic},
title={Quantum measurements without sums},
howpublished={arXiv:quant-ph/0608035},
url={http://www.arxiv.org/abs/quant-ph/0608035},
year={2006}}

@misc{CoeckeB:povntw,
author={Bob Coecke and Eric Paquette},
title={P{OVM}s and {N}aimark's theorem without sums},
howpublished={arXiv:quant-ph/0608072},
url={http://www.arxiv.org/abs/quant-ph/0608072},
year={2006}}

@inproceedings{CoeckeB:strccs,
author={Bob Coecke},
title={Strongly Compact Closed Semantics},
booktitle={Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)},
series={Electronic Notes in Theoretical Computer Science},
volume={155},
pages={331--340},
url={http://dx.doi.org/10.1016/j.entcs.2005.11.062},
year={2006}}

@inproceedings{DanosV:paumu,
author={Vincent Danos and Elham Kashefi},
title={Pauli Measurements are Universal},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={95--100}, 
url={http://www.pps.jussieu.fr/~danos/pdf/pauli_measurements.pdf},
year={2007}}

@article{DanosV:meac,
author={Vincent Danos and Elham Kashefi and Prakash Panangaden},
title={The Measurement Calculus},
journal={Journal of the ACM},
volume={54},
number={2},
note={Preliminary version in arXiv:quant-ph/0412135},
url={http://doi.acm.org/10.1145/1219092.1219096},
year={2007}}

@article{DanosV:parrru,
author={Vincent Danos and Elham Kashefi and Prakash Panangaden},
title={Parsimonious and Robust Realizations of Unitary Maps in the One-Way Model},
journal={Physical Review A},
volume={72},
pages={064301},
note={Also arXiv:quant-ph/0411071},
url={http://dx.doi.org/10.1103/PhysRevA.72.064301},
year={2005}}

@article{DanosV:detom,
author={Vincent Danos and Elham Kashefi},
title={Determinism in the one-way model},
journal={Physical Review A},
volume={74},
pages={052310},
note={Also arXiv:quant-ph/0506062},
url={http://dx.doi.org/10.1103/PhysRevA.74.052310},
year={2006}}

@misc{DanosV:oneqvt,
author={Vincent Danos and Elham Kashefi and Prakash Panangaden},
title={1-qubit versus 2-qubit measurement-based quantum computation},
note={Manuscript},
url={http://www.pps.jussieu.fr/~danos/pdf/teleport.pdf},
year={2005}}

@inproceedings{DanosV:dismbq,
author={Vincent Danos and Ellie D'Hondt and Elham Kashefi and Prakash Panangaden},
title={Distributed measurement-based quantum computation},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={73--94}, 
note={Also arXiv:quant-ph/0506070},
url={http://www.arxiv.org/abs/quant-ph/0506070},
year={2007}}

@article{DeutschD:quatct,
author={David Deutsch},
title={Quantum theory, the {C}hurch-{T}uring principle and the universal quantum computer},
journal={Proceedings of the Royal Society of London A},
volume={400},
pages={97--117},
url={http://www.qubit.org/oldsite/resource/deutsch85.pdf},
year={1985}} 

@article{DHondtE:quawp,
author={Ellie D'Hondt and Prakash Panangaden},
title={Quantum weakest preconditions},
journal={Mathematical Structures in Computer Science},
volume={16},
number={3},
pages={429--451},
url={http://dx.doi.org/10.1017/S0960129506005251},
note={Preliminary version in \cite{SelingerP:qpl2004}; also arXiv:quant-ph/0501157},
year={2006}}

@article{DHondtE:compwg,
author={Ellie D'Hondt and Prakash Panangaden},
title={The computational power of the {W} and {GHZ} states},
journal={Quantum Information and Computation},
volume={6},
number={2},
pages={173--183},
url={http://www.arxiv.org/abs/quant-ph/0412177},
year={2006}}

@inproceedings{DHondtE:reaqk,
author={Ellie D'Hondt and Prakash Panangaden},
title={Reasoning about quantum knowledge},
booktitle={Proceedings of FSTTCS'05},
series={Lecture Notes in Computer Science},
volume={3821},
url={http://arxiv.org/abs/quant-ph/0507176},
year={2005}}

@phdthesis{DHondtE:disqcm,
author={Ellie D'Hondt},
title={Distributed quantum computation: a measurement-based approach},
school={Vrije Universiteit Brussel},
url={http://www.vub.ac.be/CLEA/ellie/homepage/PDFdirectory/PhD_DistributedQC.pdf},
year={2005}}

@inproceedings{DiPierroA:quacp,
author={Alessandra {Di Pierro} and Herbert Wiklicky},
title={Quantum Constraint Programming},
booktitle={Proceedings of the APPSIA-GULP-PRODE Joint Conference on Declarative Programming},
note={Online proceedings at \texttt{http://www.di.uevora.pt/˜agp01/accepted.html}},
url={http://www.di.uevora.pt/~agp01/accepted.html},
year={2001}}

@techreport{DuncanR:belnbs,
author={Ross Duncan},
title={Believe It Or Not, {B}ell States are a Model of Multiplicative Linear Logic},
institution={Programming Research Group, Oxford University Computing Laboratory},
number={PRG-RR-04-18},
url={http://web.comlab.ox.ac.uk/oucl/work/ross.duncan/},
year={2004}}

@phdthesis{DuncanR:typqc,
author={Ross Duncan},
title={Types for Quantum Computing},
type={D{P}hil Thesis},
school={University of Oxford},
url={http://web.comlab.ox.ac.uk/oucl/work/ross.duncan/thesis.pdf},
year={2007}}

@article{EdalatA:extgtq,
author={Abbas Edalat},
title={An Extension of {G}leason's Theorem for Quantum Computation},
journal={International Journal of Theoretical Physics},
volume={43},
number={7--8},
pages={1827--1840},
note={Also arXiv:quant-ph/0311070},
url={http://www.doc.ic.ac.uk/~ae/papers/gleason.ps},
year={2004}}

@misc{FengY:sempqp,
author={Feng, Yuan and Duan, Runyao and Ji, Zhengfeng and Ying, Mingsheng},
title={Semantics of a Purely Quantum Programming Language},
howpublished={arXiv:cs/0507043},
url={http://www.arxiv.org/abs/cs.PL/0507043},
year={2005}}

@misc{FengY:probqp,
author={Feng, Yuan and Duan, Runyao and Ji, Zhengfeng and Ying, Mingsheng},
title={Probabilistic bisimilarities between quantum processes},
howpublished={arXiv:cs.LO/0601014},
url={http://www.arxiv.org/abs/cs.LO/0601014},
year={2006}}

@inproceedings{GaySJ:comqp,
author = {Simon J. Gay and Rajagopal Nagarajan},
title = {Communicating Quantum Processes},
booktitle = {Proceedings of the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)},
publisher={ACM Press},
note={Preliminary version in \cite{SelingerP:qpl2004}; also arXiv:quant-ph/0409052},
url={http://dx.doi.org/10.1145/1040305.1040318},
year={2005}}

@article{GaySJ:typcqp,
author = {Simon J. Gay and Rajagopal Nagarajan},
title = {Types and Typechecking  for {C}ommunicating {Q}uantum {P}rocesses},
journal={Mathematical Structures in Computer Science},
volume={16},
number={3},
pages={375--406},
url={http://dx.doi.org/10.1017/S0960129506005263},
year={2006}}

@article{GaySJ:quapls,
author = {Simon J. Gay},
title = {Quantum Programming Languages: Survey and Bibliography},
journal = {Mathematical Structures in Computer Science},
volume = {16},
number = {4},
year = {2006},
url={http://www.dcs.gla.ac.uk/~simon/publications/QPLsurvey.pdf}}

@misc{GaySJ:qmcmcq,
author={Simon J. Gay and Nikolaos Papanikolaou and Rajagopal Nagarajan},
title={Q{MC}: a model checker for quantum systems},
howpublished={arXiv:0704.3705},
url={http://arxiv.org/abs/0704.3705},
note={Also Research Report RR432, Department of Computer Science, University of Warwick}, 
year={2007}}

@inproceedings{GirardJY:betlqt,
author={Jean-Yves Girard},
title={Between Logic and Quantic: a Tract},
booktitle={Linear Logic in Computer Science},
series={London Mathematical Society Lecture Notes},
number={316},
pages={346--381},
publisher={Cambridge University Press},
url={http://iml.univ-mrs.fr/~girard/LLcup.pdf.gz},
year={2004}}

@misc{GlendinningI:quaplt,
author={Ian Glendinning},
title={Quantum Programming Languages and Tools},
note={Online catalogue},
url={http://www.vcpc.univie.ac.at/~ian/hotlist/qc/programming.shtml},
year={2005}}

@misc{GoughA:quaep,
author={Alex Gough},
title={Perl module \texttt{Quantum::Entanglement}},
howpublished={Available from \texttt{www.perl.com/pub/a/2001/08/08/quantum.html}},
url={http://www.perl.com/pub/a/2001/08/08/quantum.html},
year={2001}}

@inproceedings{GradelE:quacas,
author={Erich Gr\"{a}del and Antje Nowack},
title={Quantum computing and abstract state machines},
booktitle={Abstract State Machines --- Advances in Theory and Applications},
series={Lecture Notes in Computer Science},
number={2589},
pages={309--323},
publisher={Springer},
year={2003}}

@unpublished{GrattageJ:comfqp,
author={Jonathan Grattage and Thorsten Altenkirch},
title={A Compiler for a Functional Quantum Programming Language},
note={Manuscript},
url={http://www.cs.nott.ac.uk/~txa/publ/},
year={2005}}

@unpublished{HellerK:qhsqsl,
author={Katherine Heller and Krysta Svore and Maryam Kamvar},
title={{Q-HSK}: a Quantum Simulation Language},
note={Manuscript},
url={http://www1.cs.columbia.edu/~mkamvar/prev\_work/cs4115/PLT\_final\_writeup.ps},
year={2002}}

@inproceedings{JorrandP:towqpa,
author={Philippe Jorrand and Marie Lalire},
title={Toward a Quantum Process Algebra},
booktitle={Proceedings of the 1st ACM Conference on Computing Frontiers},
publisher={ACM Press},
note={Also arXiv:quant-ph/0312067},
url={http://www.arxiv.org/abs/quant-ph/0312067},
year={2004}}

@inproceedings{JorrandP:froqpp,
author={Philippe Jorrand and Marie Lalire},
title={From Quantum Physics to Programming Languages: A Process Algebraic Approach},
booktitle={Unconventional Programming Paradigms: Revised Selected and Invited Papers from the International Workshop UPP 2004},
series={Lecture Notes in Computer Science},
volume={3566},
publisher={Springer},
url={http://www.springerlink.com/content/805y81wpm6v1mgfe/fulltext.pdf},
year={2005}}

@inproceedings{KarczmarczukJ:striqm,
author={Jerzy Karczmarczuk},
title={Structure and Interpretation of Quantum Mechanics --- a Functional Framework}, 
booktitle={Proceedings of the ACM SIGPLAN Workshop on Haskell},
publisher={ACM Press},
url={http://portal.acm.org/citation.cfm?id=871901},
year={2003}}

@phdthesis{KashefiE:comasq,
author={Elham Kashefi},
title={Complexity Analysis and Semantics for Quantum Computing},
school={Imperial College London},
url={http://web.comlab.ox.ac.uk/oucl/work/elham.kashefi/Papers/phdelham.pdf},
year={2003}}

@inproceedings{KashefiE:quadtd,
author={Elham Kashefi},
title={Quantum Domain Theory --- Definitions and Applications},
booktitle={Proceedings of the International Conference on Computability and Compexity in Analysis},
series={Fernuniversit\"at Hagen Informatik Berichte},
number={302 -- 8/2003},
url={http://web.comlab.ox.ac.uk/oucl/work/elham.kashefi/papers/qdomain.pdf},
year={2003}}

@techreport{KnillE:conqp,
author = {Emmanuel Knill},
title = {Conventions for quantum pseudocode},
institution = {Los Alamos National Laboratory},
number={LAUR-96-2724},
url={http://www.eskimo.com/~knill/cv/reprints/knill:qc1996e.ps},
year = {1996}
}

@inproceedings{LalireM:proaac,
author={Marie Lalire and Philippe Jorrand},
title={A process algebraic approach to concurrent and distributed computation: operational semantics},
crossref={SelingerP:qpl2004},
note={Also arXiv:quant-ph/0407005},
url={http://www.arxiv.org/abs/quant-ph/0407005}}

@misc{LalireM:probbq,
author = {Marie Lalire},
title = {A probabilistic branching bisimulation for quantum processes},
howpublished = {arXiv:quant-ph/0508116},
url={http://www.arxiv.org/abs/quant-ph/0508116},
year={2005}}

@article{LalireM:relaqp,
author = {Marie Lalire},
title = {Relations among Quantum Processes: Bisimilarity and Congruence},
journal = {Mathematical Structures in Computer Science},
volume={16},
number={3},
pages={407--428},
url={http://dx.doi.org/10.1017/S096012950600524X},
year={2006}}

@mastersthesis{MauererW:semscq,
author={Wolfgang Mauerer},
title={Semantics and Simulation of Communication in Quantum Programming},
school={University Erlangen-Nuremberg},
url={http://www.arxiv.org/abs/quant-ph/0511145},
note={See also http://kerr.physik.uni-erlangen.de/qit/qpl.html},
year={2005}}

@misc{MayminP:extlce,
author={Philip Maymin},
title={Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms},
howpublished={arXiv:quant-ph/9612052},
url={http://www.arxiv.org/abs/quant-ph/9612052},
year={1996}}

@misc{MayminP:lamcce,
author={Philip Maymin},
title={The lambda-q calculus can efficiently simulate quantum computers},
howpublished={arXiv:quant-ph/9702057},
url={http://www.arxiv.org/abs/quant-ph/9702057},
year={1997}}

@inproceedings{MuSC:funqp,
author={Shin-Cheng Mu and Richard Bird},
title={Functional Quantum Programming},
booktitle={Proceedings of the 2nd Asian Workshop on Programming Languages and Systems},
url={http://www.ipl.t.u-tokyo.ac.jp/~scm/pub/quantum.ps.gz},
year={2001}} 

@inproceedings{NagarajanR:simccs,
author={Rajagopal Nagarajan and Nikolaos Papanikolaou and David Williams},
title={Simulating and Compiling Code for the Sequential Quantum Random Access Machine},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={101--124}, 
url={http://www.dcs.warwick.ac.uk/~nikos/downloads/newpaper.pdf},
year={2007}}

@misc{NagarajanR:forvqp,
author = {Rajagopal Nagarajan and Simon J. Gay},
title = {Formal Verification of Quantum Protocols},
howpublished = {arXiv:quant-ph/0203086},
url={http://www.arxiv.org/abs/quant-ph/0203086},
year={2002}}

@misc{OmerB:clacqp,
author={Bernhard \"{O}mer},
title={Classical Concepts in Quantum Programming},
howpublished={arXiv:quant-ph/0211100},
url={http://www.arxiv.org/abs/quant-ph/0211100},
year={2002}}

@mastersthesis{OmerB:profqc,
author={Bernhard \"{O}mer},
title={A Procedural Formalism for Quantum Computing},
school={Department of Theoretical Physics, Technical University of Vienna},
url={http://tph.tuwien.ac.at/~oemer/doc/qcldoc.pdf},
year={1998}}

@inproceedings{OmerB:proqp,
author={Bernhard \"{O}mer},
title={Procedural Quantum Programming},
booktitle={Proceedings of the AIP Conference on Computing Anticipatory Systems (AIP Conference Proceedings 627)},
publisher={American Institute of Physics},
pages={276--285},
url={http://proceedings.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=APCPCS000627000001000276000001&idtype=cvips&gifs=Yes},
year={2001}}

@mastersthesis{OmerB:quapq,
author={Bernhard \"{O}mer},
title={Quantum Programming in {QCL}},
school={Institute of Information Systems, Technical University of Vienna},
url={http://tph.tuwien.ac.at/~oemer/doc/quprog.pdf},
year={2000}}

@phdthesis{OmerB:strqp,
author={Bernhard \"{O}mer},
title={Structured Quantum Programming},
school={Technical University of Vienna},
url={http://tph.tuwien.ac.at/~oemer/doc/structquprog.pdf},
year={2003}}

@mastersthesis{PapanikolaouNK:tecdvq,
author={Nikolaos K. Papanikolaou},
title={Techniques for Design and Validation of Quantum Protocols},
school={University of Warwick},
url={http://www.dcs.warwick.ac.uk/~nikos/downloads/npmscthesis.pdf},
year={2004}
}

@mastersthesis{PaquetteEO:catstq,
author={Paquette, \'{E}ric O.},
title={A Categorical Semantics for Topological Quantum Computation},
school={University of Ottawa},
url={http://inexistant.net/mscthesis.pdf},
year={2004}
}

@inproceedings{PerdrixS:quapte,
author={Simon Perdrix},
title={Quantum Patterns and Types for Entanglement and Separability},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={125--138},
url={http://dx.doi.org/10.1016/j.entcs.2006.12.015  }, 
year={2007}} 

@inproceedings{PetersenA:newafq,
author={Andrew Petersen and Mark Oskin},
title={A New Algebraic Foundation for Quantum Programming Languages},
booktitle={Proceedings of the 2nd Workshop on Non-Silicon Computing},
url={http://www.cs.washington.edu/homes/oskin/nsc03-quantumalgebra.pdf},
year={2003}}

@inproceedings{PrattV:linlgq,
author={Vaughan Pratt},
title={Linear Logic for Generalized Quantum Mechanics},
booktitle={Proceedings of the IEEE Workshop on Physics and Computation},
url={http://boole.stanford.edu/pub/ql.pdf},
year={1992}}

@article{RudigerR:quapli,
author={Roland R\"{u}diger},
title={Quantum Programming Languages: An Introductory Overview},
journal={The Computer Journal},
volume={50},
number={2},
pages={134--150},
url={http://dx.doi.org/10.1093/comjnl/bxl057},
year={2007}}

@inproceedings{SabryA:modqch,
author={Amr Sabry},
title={Modelling Quantum Computing in {H}askell}, 
booktitle={Proceedings of the ACM SIGPLAN Workshop on Haskell},
publisher={ACM Press},
url={http://portal.acm.org/citation.cfm?id=871900},
year={2003}}

@inproceedings{SandersJW:quap,
author={Jeff W. Sanders and Paolo Zuliani},
title={Quantum Programming},
booktitle={Mathematics of Program Construction},
series={Lecture Notes in Computer Science},
volume={1837},
pages={80--99},
publisher={Springer},
year={2000}}

@inproceedings{SelingerP:dagccc,
author={Peter Selinger},
title={Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={139--163},
url={http://www.mscs.dal.ca/~selinger/papers/dagger.pdf}, 
year={2007}}

@inproceedings{SelingerP:lamcqc,
author={Peter Selinger and Beno\^{\i}t Valiron},
title={A lambda calculus for quantum computation with classical control},
booktitle={Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA)},
series={Lecture Notes in Computer Science},
volume={3461},
publisher={Springer},
url={http://www.mathstat.dal.ca/~selinger/papers/qlambda-full.pdf.gz},
year={2005}}

@article{SelingerP:lamcqcfull,
author={Peter Selinger and Beno\^{\i}t Valiron},
title={A lambda calculus for quantum computation with classical control},
journal={Mathematical Structures in Computer Science},
volume={16},
number={3},
pages={527--552},
url={http://dx.doi.org/10.1017/S0960129506005238},
year={2006}}

@article{SelingerP:towqpl,
title={Towards a Quantum Programming Language},
author={Peter Selinger},
journal={Mathematical Structures in Computer Science},
volume={14},
number={4},
pages={527--586},
url={http://journals.cambridge.org/bin/bladerunner?REQUNIQ=1122995053&REQSESS=10182464&118200REQEVENT=&REQINT1=237142&REQAUTH=0},
year={2004}
}

@inproceedings{SelingerP:towshq,
author={Peter Selinger},
title={Towards a semantics for higher-order quantum computation},
crossref={SelingerP:qpl2004}}

@inproceedings{SelingerP:brisqp,
author={Peter Selinger},
title={A Brief Survey of Quantum Programming Languages},
booktitle={Proceedings of the 7th International Symposium on Functional and Logic Programming},
series={Lecture Notes in Computer Science},
publisher={Springer},
volume={2998},
pages={1--6},
year={2004},
url={http://www.mathstat.dal.ca/~selinger/papers/flops04.pdf.gz} }

@misc{SilvaM:dirafm,
author={Marcus Silva and Vincent Danos and Elham Kashefi and Harold Ollivier},
title={A direct approach to fault-tolerance in measurement-based quantum computation via teleportation},
howpublished={arXiv:quant-ph/0611273},
year={2006}}


@misc{SkibinksiJ:hassqc,
author={Jan Skibi\'nski},
title={Haskell simulator of quantum computer},
howpublished={Available from \texttt{http://web.archive.org/web/20010630025035/} \texttt{www.numeric-quest.com/haskell/index.html}},
url={http://web.archive.org/web/20010630025035/www.numeric-quest.com/haskell/index.html},
year={2001}}

@inproceedings{SvoreK:towsaq,
author={Krysta Svore and Andrew Cross and Alfred Aho and Isaac Chuang and Igor Markov},
title={Toward a software architecture for quantum computing design tools},
crossref={SelingerP:qpl2004}}

@mastersthesis{TafliovichA:quap,
author={Anya Tafliovich},
title={Quantum Programming},
school={University of Toronto},
url={http://www.cs.toronto.edu/~anya/papers/thesis/QuantumProgramming.pdf},
year={2004}}

@inproceedings{UdrescuM:usihdq,
author={Mihai Udrescu and Lucian Prodan and Mircea Vladutiu},
title={Using {HDL}s for Describing Quantum Circuits: a Framework for Efficient Quantum Algorithm Simulation},
booktitle={Proceedings of the 1st ACM Conference on Computing Frontiers},
publisher={ACM Press},
url={http://portal.acm.org/citation.cfm?id=977107},
year={2004}}

@inproceedings{UnruhD:quapco,
author={Dominique Unruh},
title={Quantum Programs with Classical Output Streams: (Extended Abstract)},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={165--184},
url={http://www.infsec.cs.uni-sb.de/~unruh/publications/classical_output.ps}, 
year={2007}}

@article{UnruhD:quapl,
author={Dominique Unruh},
title={Quantum Programming Languages},
journal={Informatik - Forschung und Entwicklung},
volume={21},
number={1--2},
pages={55--63},
url={http://www.infsec.cs.uni-sb.de/~unruh/publications/quantum-programming-languages.pdf},
year={2006}}

@misc{UnruhD:simsqp,
author={Dominique Unruh},
title={Simulatable security for quantum protocols},
howpublished={arXiv:quant-ph/0409125},
url={http://www.arxiv.org/abs/quant-ph/0409125},
year={2004}}

@mastersthesis{UnruhD:forsqc,
  author       = {Unruh, Dominique},
  title        = {Formal Security in Quantum Cryptology},
  school       = {Institut f\"{u}r Algorithmen und Kognitive Systeme, University of Karlsruhe},
  url={http://www.infsec.cs.uni-sb.de/~unruh/publications/unruh02formal.html},
  year         = {2002}
}


@inproceedings{ValironB:quat,
author={Beno\^{i}t Valiron},
title={Quantum typing},
crossref={SelingerP:qpl2004}}

@mastersthesis{ValironB:funplq,
author={Beno\^{i}t Valiron},
title={A functional programming language for quantum computation with classical control},
school={University of Ottawa},
url={http://www.science.uottawa.ca/~bvali180/thesis.ps},
year={2004}} 

@article{vanTonderA:lamcqc,
author={Andr\'e van Tonder},
title={A Lambda Calculus for Quantum Computation},
journal={{SIAM} Journal on Computing},
volume={33},
number={5},
pages={1109--1135},
note={Also arXiv:quant-ph/0307150},
url={http://epubs.siam.org/sam-bin/dbq/article/43216},
year={2004}}

@misc{vanTonderA:quaccs,
author={Andr\'e van Tonder},
title={Quantum Computation, Categorical Semantics and Linear Logic},
howpublished={arXiv:quant-ph/0312174},
url={http://www.arxiv.org/abs/quant-ph/0312174},
year={2003}}

@misc{VizzottoJK:conqph,
author={Juliana Kaizer Vizzotto and Ant\^{o}nio Carlos da Rocha Costa},
title={Concurrent Quantum Programming in {H}askell},
howpublished={In VII Congresso Brasileiro de Redes Neurais, Sess\~{a}o de Computa\c{c}\~{a}o Qu\^{a}ntica.},
url={http://www.inf.ufrgs.br/~jkv/conc-qhaskell.pdf},
year={2005}}

@article{VizzottoJK:strqes,
author={Juliana Kaizer Vizzotto and Thorsten Altenkirch and Amr Sabry},
title={Structuring Quantum Effects: Superoperators as Arrows},
journal={Mathematical Structures in Computer Science},
volume={16},
number={3},
note={Also arXiv:quant-ph/0501151},
year={2006}}

@unpublished{WehrM:quacnp,
author={Martin Wehr},
title={Quantum Computing: a New Paradigm and its Type Theory},
note={Lecture given at the Quantum Computing Seminar, Lehrstuhl Prof.\ Beth, Universit\"at Karlsruhe},
url={http://www.dcs.ed.ac.uk/home/wehr/newpage/Papers/qc.ps.gz},
year={1996}
}

@mastersthesis{WilliamsD:quacaa,
author={David Williams},
title={Quantum Computer Architecture, Assembly Language and Compilation},
school={University of Warwick},
year={2004}}

@misc{YingM:qualp,
author={Mingsheng Ying and Yuan Feng},
title={Quantum loop programs},
howpublished={arXiv:quant-ph/0605218},
url={http://arxiv.org/abs/quant-ph/0605218},
year={2006}}

@inproceedings{ZulianiP:nonqp,
author={Paolo Zuliani},
title={Non-deterministic Quantum Programming},
crossref={SelingerP:qpl2004}}

@phdthesis{ZulianiP:quap,
author={Paolo Zuliani},
title={Quantum Programming},
school={University of Oxford},
type={D{P}hil thesis},
year={2001}}

@inproceedings{ZulianiP:quapms,
author={Paolo Zuliani},
title={Quantum Programming with Mixed States},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
volume={170},
pages={185--199},
url={http://dx.doi.org/10.1016/j.entcs.2006.12.017}, 
year={2007}}

@article{ZulianiP:comqp,
author={Paolo Zuliani},
title={Compiling Quantum Programs},
journal={Acta Informatica},
volume={41},
number={7--8},
pages={435--474},
year={2005}} 

@article{ZulianiP:logr,
author={Paolo Zuliani},
title={Logical Reversibility},
journal={IBM Journal of Research and Development},
volume={45},
number={6},
pages={807--818},
url={http://www.cse.unsw.edu.au/~carrollm/probs/Papers/Zuliani-01a.pdf},
year={2001}} 

@proceedings{SelingerP:qpl2004,
editor={Peter Selinger},
title={Proceedings of the 2nd International Workshop on Quantum Programming Languages},
booktitle={Proceedings of the 2nd International Workshop on Quantum Programming Languages},
series={TUCS General Publications},
number={33},
publisher={Turku Centre for Computer Science},
url={http://www.mathstat.dal.ca/~selinger/qpl2004/proceedings.html},
year={2004}}

@proceedings{SelingerP:qpl2005,
editor={Peter Selinger},
title={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
booktitle={Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)},
series={Electronic Notes in Theoretical Computer Science},
vollume={170},
publisher={Elsevier Science},
url={http://www.mathstat.dal.ca/~selinger/qpl2005/proceedings.html},
year={2007}}