Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone. On the Metric Nature of (Differential) Logical Relations. In Maribel Fernández, editor, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK. Volume 337 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.