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
∙
06/25/2021
Semialgebras and Weak Distributive Laws
Motivated by recent work on weak distributive laws and their application...
research
∙
12/01/2020