Kantorovich Functors and Characteristic Logics for Behavioural Distances.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild

Browse the full FOSSACS paper archive.