3 citations · 6 across the 6 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
On the Axiomatizability of Quantitative Algebras
Radu Mardare, Prakash Panangaden, Gordon Plotkin
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016.…
cs.LO2018
Free complete Wasserstein algebras
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
We present an algebraic account of the Wasserstein distances on complete metric spaces, for . This is part of a program of a quantitative algebraic theory of effect…