Mario Román

Tag: nov20

2 items with this tag.

Feb 02, 2026
Decorating bicategories of processes
- nov20
Feb 02, 2026
Quotient of IO transition systems
- nov20

Mario Román (2026), CC-BY-SA. Human written, using Quartz and Write.

GitHub
ArXiv
OrcID