Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
talks
Folder: talks
5 items under this folder.
Jul 29, 2025
Talk — Effectful Mealy Machines, Bisimulation and Trace, LiCS 2025, Singapore
Jul 29, 2025
Partial Markov Categories — Topos Colloquium (2024)
Jul 29, 2025
String Diagrams for Premonoidal Categories — Pisa CS Department Seminar (2024)
Jul 29, 2025
Talk — String Diagrams for Premonoidal Categories, at the theory seminar, Birmingham (March 2025)
Jul 29, 2025
The Produoidal Algebra of Process Decomposition — CSL24, Naples