References

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 https://arxiv.org/abs/1711.08699.
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 https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf.
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 http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf.
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: eptcs@eptcs.org

For website issues: webmaster@eptcs.org