arxiv.org · 4d Monoidal computer I: Basic computability by string diagrams (2012) Comments ≈ Visit article ↗ ▲ 0 💬 0 ↗ Share