2 citations · 3 across the 13 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.LO2023
Denotational semantics for languages for inference: semirings, monads, and tensors
Cristina Matache, Sean Moss, Sam Staton +1
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebrai…