Mario Román

❯

❯

Folder: notes/papers

17 items under this folder.

May 09, 2025
Mikrokosmos: an Educational Lambda Interpreter (Román, 2018)
May 09, 2025
observe library (Román, 2024)
May 08, 2025
A Canonical Algebra of Open Transition Systems (Di Lavore, Gianola, Roman, Sabadini, Sobocinski, 2021)
May 08, 2025
Effectful Mealy Machines, Bisimulation and Trace (Bonchi, Di Lavore, Román, 2025)
May 08, 2025
Open Diagrams via Coend Calculus (Román, 2020)
May 02, 2025
Monoidal Context Theory, PhD Thesis (Román, 2023)
May 02, 2025
Profunctor Optics a Categorical Update (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Román)
May 02, 2025
String Diagrams for Premonoidal Categories (Román, 2023)
May 02, 2025
The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)
May 02, 2025
Evidential Decision Theory via Partial Markov Categories (Di Lavore, Román)
May 02, 2025
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
- monoidal-streams
May 02, 2025
Promonads and String Diagrams for Effectful Categories (Román, 2022)
May 02, 2025
String Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)
Apr 30, 2025
A Simple Formal Language for Probabilistic Decision Problems (Di Lavore, Jacobs, Román, 2024)
Apr 30, 2025
Coinductive Monoidal Streams (Di Lavore, de Felive, Roman, 2023)
Apr 30, 2025
Partial Markov Categories (Di Lavore, Roman, 2024)
Apr 29, 2025
Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore, Gianola, Román, Sabadini, Sobocinski, 2022)

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

GitHub
ArXiv
OrcID