1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Deriving Program Logics from Distributive Monoidal Categories
Filippo Bonchi, Elena Di Lavore, Mario Román +1
We derive multiple program logics - including correctness, incorrectness, and relational Hoare logic - from the axioms of imperative categories: uniformly traced distributive copy-…
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…