Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi. Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. In Pawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak, editors, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025, August 25-29, 2025, Warsaw, Poland. Volume 345 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.