@inproceedings(AbramskyCoecke2004,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@incollection(AbramskyCoecke2008,
 author       = {S. Abramsky and B. Coecke},
 year         = {2008},
 title        = {Categorical Quantum Mechanics},
 editor       = {K. Engesser and D. M. Gabbay and D. Lehmann},
 booktitle    = {Handbook of Quantum Logic and Quantum Structures},
 publisher    = {Elsevier},
)
@mastersthesis(Balkir2014,
 author       = {E. Balkir},
 year         = {2014},
 title        = {Using Density Matrices in a Compositional Distributional Model of Meaning},
 school       = {University of Oxford},
)
@article(CoeckeSadrzadehClark2010,
 author       = {B. Coecke and M. Sadrzadeh and S. Clark},
 year         = {2010},
 title        = {Mathematical Foundations for Distributed Compositional Model of Meaning. {L}ambek Festschrift},
 journal      = {Linguistic Analysis},
 volume       = {36},
 pages        = {345--384},
)
@unpublished(Gogioso2015,
 author       = {S. Gogioso},
 year         = {2015},
 title        = {A Bestiary of Sets and Relations},
 note         = {In preparation},
)
@article(KellyLaplaza1980,
 author       = {M. Kelly and M.L. Laplaza},
 year         = {1980},
 title        = {Coherence for Compact Closed Categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@mastersthesis(Piedeleu2014,
 author       = {R. Piedeleu},
 year         = {2014},
 title        = {Ambiguity in Categorical Models of Meaning},
 school       = {University of Oxford},
)
@article(PiedeleuKartsaklisCoeckeSadrzadeh2015,
 author       = {R. Piedeleu and D. Kartsaklis and B. Coecke and M. Sadrzadeh},
 year         = {2015},
 title        = {Open System Categorical Quantum Semantics in Natural Language Processing},
 journal      = {arXiv preprint arXiv:1502.00831},
)
@article(Selinger2007,
 author       = {P. Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@inproceedings(Selinger2010,
 author       = {P. Selinger},
 year         = {2010},
 title        = {Autonomous categories in which {$A \cong A^*$}},
 booktitle    = {Proceedings of the 7th workshop on Quantum Physics and Logic (QPL 2010)},
 pages        = {151--160},
)
@incollection(Selinger2011,
 author       = {P. Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 editor       = {B. Coecke},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9\_4},
)