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
∙
04/23/2020
Proof Theory of Riesz Spaces and Modal Riesz Spaces
We design hypersequent calculus proof systems for the theories of Riesz ...
research
∙
03/22/2019