1 citations · 2 across the 8 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024
A Simple Formal Language for Probabilistic Decision Problems
Elena Di Lavore, Bart Jacobs, Mario Román
Probabilistic puzzles can be confusing, partly because they are formulated in natural languages - full of unclarities and ambiguities - and partly because there is no widely accept…
cs.LO2024
Effectful Mealy Machines
Filippo Bonchi, Elena Di Lavore, Mario Román
Effectful Mealy machines, which we introduce, are a generalization of Mealy machines with global effects determined by an effectful triple. We provide semantics of effectful Mealy…
math.CT2024
String Diagrams for Physical Duoidal Categories
Mario Román
We introduce string diagrams for physical duoidal categories (normal -symmetric duoidal categories): they consist of string diagrams with wires forming a zigzag-free parti…