TY  - RPRT
TI  - Kantorovich Functors and Characteristic Logics for Behavioural Distances
AU  - Sergey Goncharov
AU  - Dirk Hofmann
AU  - Pedro Nora
AU  - Lutz Schröder
AU  - Paul Wild
PY  - 2023
UR  - https://arxiv.org/abs/2202.07069
ID  - 2202.07069
ER  -