Mario Román

❯

Folder: papers

13 items under this folder.

Aug 23, 2025
Monoidal Context Theory, PhD Thesis (Román, 2023)
Jul 29, 2025
Promonads and String Diagrams for Effectful Categories (Román, 2022)
Jul 29, 2025
String Diagrams for Premonoidal Categories (Román, 2023)
Jul 24, 2025
Coinductive Monoidal Streams (Di Lavore, de Felive, Roman, 2023)
Jul 24, 2025
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
- monoidal-streams
Jul 24, 2025
Open Diagrams via Coend Calculus (Román, 2020)
Jul 24, 2025
Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore, Gianola, Román, Sabadini, Sobocinski, 2022)
Jul 24, 2025
The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)
Jul 23, 2025
String Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)
Jul 17, 2025
A Simple Formal Language for Probabilistic Decision Problems (Di Lavore, Jacobs, Román, 2024)
Jul 17, 2025
Mikrokosmos: an Educational Lambda Interpreter (Román, 2018)
Jul 17, 2025
Partial Markov Categories (Di Lavore, Roman, 2024)
Jul 17, 2025
observe library (Román, 2024)

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

GitHub
ArXiv
OrcID