Mario Román

Tag: nov20

2 items with this tag.

Mar 10, 2026
Decorating bicategories of processes
- nov20
Mar 10, 2026
Quotient of IO transition systems
- nov20

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

GitHub
ArXiv
OrcID