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

(arxiv.org)

1 points | by measurablefunc 6 hours ago ago