1. Lowell Abrams (1999): Modules, comodules, and cotensor products over Frobenius algebras. Journal of Algebra 219(1), pp. 201–213, doi:10.1006/jabr.1999.7901.
  2. Angeline Aguinaldo, Spencer Breiner, John S Nolan & Blake S Pollard: Robot planning with string diagrams. In preparation.
  3. Filippo Bonchi, Dusko Pavlovic & Paweł0em Sobociński (2017): Functorial semantics for relational theories. arXiv preprint arXiv:1711.08699. Available at
  4. Bob Coecke & Aleks Kissinger (2017): Picturing quantum processes. Cambridge University Press, doi:10.1017/9781316219317.
  5. Brendan Fong & David I. Spivak (2019): Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Cambridge University Press, doi:10.1017/9781108668804. Available at
  6. Peter T Johnstone (1982): Stone spaces. Cambridge studies in advanced mathematics 3. Cambridge University Press.
  7. Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld & David Wilkins (1998): PDDL-the planning domain definition language. Technical Report CVC TR-98-003/DCS TR-1165. Yale Center for Computational Vision and Control. Available at
  8. Prakash Panangaden (1998): Probabilistic relations. School of Computer Science Research Reports - University of Birmingham CSR, pp. 59–74.
  9. Dusko Pavlovic (2013): Monoidal computer I: Basic computability by string diagrams. Information and computation 226, pp. 94–116, doi:10.1016/j.ic.2013.03.007.

Comments and questions to:
For website issues: