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

1 points | by measurablefunc 6 hours ago