Monoidal computer I: Basic computability by string diagrams (2012) arxiv.org 8 points by measurablefunc 2 days ago