Monoidal computer I: Basic computability by string diagrams (2012)arxiv.org
7 points by measurablefunc 3 days ago | 0 comments