Mario Román

Tag: nov20

2 items with this tag.

Nov 15, 2025
Decorating bicategories of processes
- nov20
Nov 15, 2025
Quotient of IO transition systems
- nov20

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

GitHub
ArXiv
OrcID