Mario Román

❯

❯

Derivations in Do notation

Derivations in Do-notation

Feb 10, 20231 min read

derivations-in-do-notation

Tags: do-notation - theory of symmetric monoidal categories.

Graph View

Backlinks

arrow notation
Do-notation in type theory

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID