Lowell Abrams
1999
Modules, comodules, and cotensor products over Frobenius algebras
Journal of Algebra
219
1
201–213
10.1006/jabr.1999.7901
Angeline Aguinaldo
Spencer Breiner
John S Nolan
Blake S Pollard
Robot planning with string diagrams
In preparation
Filippo Bonchi
Dusko Pavlovic
Paweł0em Sobociński
2017
Functorial semantics for relational theories
arXiv preprint arXiv:1711.08699
https://arxiv.org/abs/1711.08699
Bob Coecke
Aleks Kissinger
2017
Picturing quantum processes
Cambridge University Press
10.1017/9781316219317
Brendan Fong
David I. Spivak
2019
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Cambridge University Press
10.1017/9781108668804
https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf
Peter T Johnstone
1982
Stone spaces
Cambridge studies in advanced mathematics
3
Cambridge University Press
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
http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf
Prakash Panangaden
1998
Probabilistic relations
School of Computer Science Research Reports - University of Birmingham CSR
59–74
Dusko Pavlovic
2013
Monoidal computer I: Basic computability by string diagrams
Information and computation
226
94–116
10.1016/j.ic.2013.03.007