Monoidal computer I: Basic computability by string diagrams (2012)(arxiv.org)
3 points by measurablefunc | 0 comments
arXiv abstract page for Dusko Pavlovic's 2012 paper proposing a model of computation based on monoidal categories and string diagrams.