Mario Román

Tag: do-notation

4 items with this tag.

Apr 30, 2025
arrow notation
- do-notation
- arrow-notation
Apr 29, 2025
Quotienting Do-notation
- do-notation
Apr 29, 2025
do-notation for Freyd categories
- do-notation
Apr 29, 2025
do-notation for copy-discard-compare categories
- do-notation

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID