Mario Román

Tag: do-notation

4 items with this tag.

Sep 14, 2024
do-notation for copy-discard-compare categories
- do-notation
Jan 16, 2024
do-notation for Freyd categories
- do-notation
Jan 16, 2024
arrow notation
- do-notation
- arrow-notation
Feb 10, 2023
Quotienting Do-notation
- do-notation

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

GitHub
ArXiv
OrcID