Mario Román

❯

Folder: papers

13 items under this folder.

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

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

GitHub
ArXiv
OrcID