@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},
)