Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
Gabriele Lobbia, Wojciech Różowski, Ralph Sarkis +1
String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable re…
cs.LO2022
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend th…
cs.LO2020
Combining nondeterminism, probability, and termination: equational and metric reasoning
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our mai…