Mario Román

Home

❯

papers

Folder: papers

13 items under this folder.

  • Jul 29, 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