Kantorovich Functors and Characteristic Logics for Behavioural Distances

von Goncharov, Sergey
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)