Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Browse the full LICS paper archive.