@inproceedings(AC1,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(Clausewitz2009,
 author       = {Carl von Clausewitz},
 year         = {2009},
 title        = {On War: the complete edition},
 journal      = {Wildside Press},
)
@book(CKBook,
 author       = {B. Coecke and A. Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(Coecke2010,
 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},
)
@article(Coecke2013,
 author       = {Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh},
 year         = {2013},
 title        = {Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus},
 journal      = {Annals of pure and applied logic},
 volume       = {164},
 number       = {11},
 pages        = {1079--1100},
 doi          = {10.1016/j.apal.2013.05.009},
)
@inproceedings(Gogioso2016,
 author       = {Stefano Gogioso},
 year         = {2016},
 title        = {A Corpus-based Toy Model for DisCoCat},
 editor       = {Dimitrios Kartsaklis and Martha Lewis and Laura Rimell},
 booktitle    = {{\rm Proceedings of the 2016 Workshop on} Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, {\rm Glasgow, Scotland, 11th June 2016}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {221},
 publisher    = {Open Publishing Association},
 pages        = {20--28},
 doi          = {10.4204/EPTCS.221.3},
)
@article(Gogioso2017,
 author       = {Stefano Gogioso},
 year         = {2017},
 title        = {Fantastic Quantum Theories and Where to Find Them},
 journal      = {\href{https://arxiv.org/abs/1703.10576}{arXiv:1703.10576}},
)
@inproceedings(Grefenstette2011,
 author       = {E. Grefenstette and M. Sadrzadeh},
 year         = {2011},
 title        = {Experimental Support for a Categorical Compositional Distributional Model of Meaning},
 booktitle    = {The 2014 Conference on Empirical Methods on Natural Language Processing.},
 pages        = {1394--1404},
)
@inproceedings(Kartsaklis2014,
 author       = {Dimitri Kartsaklis and Mehrnoosh Sadrzadeh},
 year         = {2014},
 title        = {A Study of Entanglement in a Categorical Framework of Natural Language},
 editor       = {Bob Coecke and Ichiro Hasuo and Prakash Panangaden},
 booktitle    = {{\rm Proceedings of the 11th workshop on} Quantum Physics and Logic, {\rm Kyoto, Japan, 4-6th June 2014}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {172},
 publisher    = {Open Publishing Association},
 pages        = {249--261},
 doi          = {10.4204/EPTCS.172.17},
)
@incollection(Kelly,
 author       = {G. M. Kelly},
 year         = {1972},
 title        = {Many-variable functorial calculus {I}},
 editor       = {G. M. Kelly and M. Laplaza and G. Lewis and S. Mac Lane},
 booktitle    = {Coherence in Categories},
 series       = {Lecture Notes in Mathematics},
 volume       = {281},
 publisher    = {Springer-Verlag},
 pages        = {66--105},
 doi          = {10.1007/BF01898420},
)
@article(KellyLaplaza,
 author       = {G. 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},
)
@inproceedings(Lambek1997,
 author       = {Joachim Lambek},
 year         = {1997},
 title        = {Type grammar revisited},
 booktitle    = {International Conference on Logical Aspects of Computational Linguistics},
 organization = {Springer},
 pages        = {1--27},
 doi          = {10.1007/3-540-48975-4\_1},
)
@misc(Marsden2017,
 author       = {Dan Marsden and Fabrizio Genovese},
 year         = {2017},
 title        = {Custom Hypergraph Categories via Generalized Relations},
 journal      = {\href{https://arxiv.org/abs/1703.01204}{arXiv:1703.01204}},
)
@misc(Selinger2009,
 author       = {Peter Selinger},
 year         = {2009},
 title        = {A survey of graphical languages for monoidal categories},
 journal      = {Lecture Notes in Physics},
 volume       = {813},
 pages        = {289--355},
)