logoNewsNewestAskShowJobs Open on GitHub

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

(arxiv.org)

3 points | by measurablefunc 2 days ago

0 comments