TY  - RPRT
TI  - On The Metric Nature of (Differential) Logical Relations
AU  - Ugo Dal Lago
AU  - Naohiko Hoshino
AU  - Paolo Pistone
PY  - 2025
UR  - https://arxiv.org/abs/2505.00939
ID  - 2505.00939
ER  -