@inproceedings(AbramskyCoecke2004,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A Categorical Semantics of Quantum Protocols},
 booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings},
 publisher    = {{IEEE} Computer Society},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(BarrWells2005,
 author       = {M. Barr and C. Wells},
 year         = {2005},
 title        = {Toposes, Triples and Theories},
 journal      = {Reprints in Theory and Applications of Categories},
 volume       = {1},
 pages        = {1--289},
)
@inproceedings(Beck1969,
 author       = {J. Beck},
 year         = {1969},
 title        = {Distributive Laws},
 editor       = {H. Appelgate and M. Barr and J. Beck and F.W. Lawvere and F. Linton and E. Manes and M. Tierney and F. Ulmer},
 booktitle    = {Seminar on Triples and Categorical Homotopy Theory},
 series       = {Lecture Notes in Mathematics},
 volume       = {80},
 publisher    = {Springer},
 pages        = {119--140},
 doi          = {10.1007/BFb0083084},
)
@book(Borceux1994b,
 author       = {F. Borceux},
 year         = {1994},
 title        = {Handbook of Categorical Algebra},
 volume       = {2},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511525872},
)
@unpublished(CoeckeKissinger2016,
 author       = {B. Coecke and A. Kissinger},
 year         = {2016},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 note         = {Book in preparation},
)
@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},
)
@article(EilenbergMoore1965,
 author       = {S. Eilenberg and J.C. Moore},
 year         = {1965},
 title        = {Adjoint functors and triples},
 journal      = {Illinois Journal of Mathematics},
 volume       = {9},
 number       = {3},
 pages        = {381--398},
)
@article(Fritz2009,
 author       = {T. Fritz},
 year         = {2009},
 title        = {Convex Spaces I: Definition and Examples},
 journal      = {arXiv preprint arXiv:0903.5522},
)
@inproceedings(Gogioso2015,
 author       = {S. Gogioso},
 year         = {2015},
 title        = {A Bestiary of Sets and Relations},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {{\rm Proceedings of the 12th International Workshop on} Quantum Physics and Logic, {\rm Oxford, U.K., July 15-17, 2015}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 publisher    = {Open Publishing Association},
 pages        = {208--227},
 doi          = {10.4204/EPTCS.195.16},
)
@unpublished(HeunenVicary2016,
 author       = {C. Heunen and J. Vicary},
 year         = {2016},
 title        = {Categorical Quantum Mechanics: An Introduction},
 note         = {Book in preparation},
)
@article(Jacobs1994,
 author       = {B. Jacobs},
 year         = {1994},
 title        = {Semantics of Weakening and Contraction},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {69},
 doi          = {10.1016/0168-0072(94)90020-5},
)
@inproceedings(Jacobs2010,
 author       = {B. Jacobs},
 year         = {2010},
 title        = {Convexity, Duality and Effects},
 editor       = {C. S. Calude and V. Sassone},
 booktitle    = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings},
 series       = {{IFIP} Advances in Information and Communication Technology},
 volume       = {323},
 publisher    = {Springer},
 pages        = {1--19},
 doi          = {10.1007/978-3-642-15240-5\_1},
)
@inproceedings(Jacobs2011b,
 author       = {B. Jacobs},
 year         = {2011},
 title        = {Coalgebraic Walks, in Quantum and Turing Computation},
 editor       = {M. Hofmann},
 booktitle    = {Foundations of Software Science and Computational Structures - 14th International Conference, {FOSSACS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6604},
 publisher    = {Springer},
 pages        = {12--26},
 doi          = {10.1007/978-3-642-19805-2\_2},
)
@unpublished(Jacobs2012b,
 author       = {B. Jacobs},
 year         = {2012},
 title        = {Introduction to Coalgebra, Towards Mathematics of States and Observation},
 note         = {Book in preparation},
)
@article(JacobsMandemakerFurber2016,
 author       = {B. Jacobs and J. Mandemaker and R. Furber},
 year         = {2016},
 title        = {The expectation monad in quantum foundations},
 journal      = {Information and Computation},
 doi          = {10.1016/j.ic.2016.02.009},
)
@phdthesis(Kartsaklis2014,
 author       = {D. Kartsaklis},
 year         = {2014},
 title        = {Compositional Distributional Semantics with Compact Closed Categories and Frobenius Algebras},
 school       = {University of Oxford},
)
@article(Kelly2005,
 author       = {G.M. Kelly},
 year         = {2005},
 title        = {Basic Concepts of Enriched Category Theory},
 journal      = {Reprints in the Theory and Applications of Category Theory},
)
@article(Kock1971,
 author       = {A. Kock},
 year         = {1971},
 title        = {Bilinearity and cartesian closed monads},
 journal      = {Math. Scand.},
 volume       = {29},
 pages        = {161--174},
)
@article(Kock1972,
 author       = {A. Kock},
 year         = {1972},
 title        = {Strong functors and monoidal monads},
 journal      = {Archiv der Mathematik},
 volume       = {23},
 number       = {1},
 pages        = {113--120},
 doi          = {10.1007/BF01304852},
)
@incollection(Lambek1997,
 author       = {J. Lambek},
 year         = {1997},
 title        = {Type grammar revisited},
 booktitle    = {Logical aspects of computational linguistics},
 publisher    = {Springer},
 pages        = {1--27},
)
@article(Lindner1979,
 author       = {H. Lindner},
 year         = {1979},
 title        = {Affine parts of monads},
 journal      = {Archiv der Mathematik},
 volume       = {33},
 number       = {1},
 pages        = {437--443},
 doi          = {10.1007/BF01222782},
)
@book(MacLane1978,
 author       = {S. MacLane},
 year         = {1978},
 title        = {Categories for the Working Mathematician},
 edition      = {2},
 series       = {Graduate Texts in Mathematics},
 volume       = {5},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-4721-8},
)
@book(Manes1976,
 author       = {E.G. Manes},
 year         = {1976},
 title        = {Algebraic Theories},
 series       = {Graduate Texts in Mathematics},
 volume       = {26},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-9860-1\_2},
)
@inproceedings(Marsden2015,
 author       = {D. Marsden},
 year         = {2015},
 title        = {A Graph Theoretic Perspective on CPM(Rel)},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {{\rm Proceedings of the 12th International Workshop on} Quantum Physics and Logic, {\rm Oxford, U.K., July 15-17, 2015}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 publisher    = {Open Publishing Association},
 pages        = {273--284},
 doi          = {10.4204/EPTCS.195.20},
)
@article(Moggi1991,
 author       = {E. Moggi},
 year         = {1991},
 title        = {Notions of computation and monads},
 journal      = {Information and Computation},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@mastersthesis(Piedeleu2014,
 author       = {R. Piedeleu},
 year         = {2014},
 title        = {Ambiguity in Categorical Models of Meaning},
 school       = {University of Oxford},
)
@inproceedings(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},
 editor       = {L. S. Moss and P. Sobocinski},
 booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands},
 series       = {LIPIcs},
 volume       = {35},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {270--289},
 doi          = {10.4230/LIPIcs.CALCO.2015.270},
)
@inproceedings(PlotkinPower2002,
 author       = {G. D. Plotkin and J. Power},
 year         = {2002},
 title        = {Notions of Computation Determine Monads},
 editor       = {M. Nielsen and U. Engberg},
 booktitle    = {Foundations of Software Science and Computation Structures, 5th International Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France, April 8-12, 2002, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2303},
 publisher    = {Springer},
 pages        = {342--356},
 doi          = {10.1007/3-540-45931-6\_24},
)
@article(Selinger2007,
 author       = {P. Selinger},
 year         = {2007},
 title        = {Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)},
 journal      = {Electronic Notes Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@inproceedings(Shan2001,
 author       = {C.C. Shan},
 year         = {2001},
 title        = {Monads for Natural Language Semantics},
 editor       = {K. Streignitz},
 booktitle    = {Proceedings of the ESSLLI-2001 Student Session},
 publisher    = {Institute for Logic, Language and Computation, University of Amsterdam},
 pages        = {285--298},
)
@inproceedings(Wadler1995,
 author       = {P. Wadler},
 year         = {1995},
 title        = {Monads for Functional Programming},
 editor       = {J. Jeuring and E. Meijer},
 booktitle    = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\r a}stad, Sweden, May 24-30, 1995, Tutorial Text},
 series       = {Lecture Notes in Computer Science},
 volume       = {925},
 publisher    = {Springer},
 pages        = {24--52},
 doi          = {10.1007/3-540-59451-5\_2},
)