@article(abrams1999modules, author = {Lowell Abrams}, year = {1999}, title = {Modules, comodules, and cotensor products over Frobenius algebras}, journal = {Journal of Algebra}, volume = {219}, number = {1}, pages = {201--213}, doi = {10.1006/jabr.1999.7901}, ) @unpublished(robotspaper, author = {Angeline Aguinaldo and Spencer Breiner and John S Nolan and Blake S Pollard}, title = {Robot planning with string diagrams}, note = {In preparation}, ) @article(bonchi2017functorial, author = {Filippo Bonchi and Dusko Pavlovic and Pawe\l\hspace {0em} Soboci\'{n}ski}, year = {2017}, title = {Functorial semantics for relational theories}, journal = {arXiv preprint arXiv:1711.08699}, url = {https://arxiv.org/abs/1711.08699}, ) @book(CoeckeKissinger, author = {Bob Coecke and Aleks Kissinger}, year = {2017}, title = {Picturing quantum processes}, publisher = {Cambridge University Press}, doi = {10.1017/9781316219317}, ) @book(sevensketches, author = {Brendan Fong and David I. Spivak}, year = {2019}, title = {Seven Sketches in Compositionality: An Invitation to Applied Category Theory}, publisher = {Cambridge University Press}, doi = {10.1017/9781108668804}, url = {https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf}, ) @book(StoneSpaces, author = {Peter T Johnstone}, year = {1982}, title = {Stone spaces}, series = {Cambridge studies in advanced mathematics}, volume = {3}, publisher = {Cambridge University Press}, ) @techreport(PDDL, author = {Drew McDermott and Malik Ghallab and Adele Howe and Craig Knoblock and Ashwin Ram and Manuela Veloso and Daniel Weld and David Wilkins}, year = {1998}, title = {{PDDL}-the planning domain definition language}, type = {Technical Report}, number = {CVC TR-98-003/DCS TR-1165}, institution = {Yale Center for Computational Vision and Control}, url = {http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf}, ) @article(panangaden1998probabilistic, author = {Prakash Panangaden}, year = {1998}, title = {Probabilistic relations}, journal = {School of Computer Science Research Reports - University of Birmingham CSR}, pages = {59--74}, ) @article(pavlovic2013monoidal, author = {Dusko Pavlovic}, year = {2013}, title = {Monoidal computer {I}: Basic computability by string diagrams}, journal = {Information and computation}, volume = {226}, pages = {94--116}, doi = {10.1016/j.ic.2013.03.007}, )