research
∙
04/27/2023
Universal Algebra for Generalised Metric Spaces
We study in this work a generalisation of the framework of quantitative ...
share
research
∙
01/22/2022
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning
The framework of quantitative equational logic has been successfully app...
research
∙
12/01/2020
Combining nondeterminism, probability, and termination: equational and metric reasoning
We study monads resulting from the combination of nondeterministic and p...
research
∙
05/15/2020
Monads and Quantitative Equational Theories for Nondeterminism and Probability
The monad of convex sets of probability distributions is a well-known to...
research
∙
05/04/2020
Presenting convex sets of probability distributions by convex semilattices and unique bases
We prove that every finitely generated convex set of finitely supported ...
research
∙
08/02/2018