Monoidal computer I: Basic computability by string diagrams (2012)

3 points | by measurablefunc 3 days ago