On The Metric Nature of (Differential) Logical Relations

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Differential logical relations are a method to measure distances between higher-order programs. They differ from standard methods based on program metrics in that differences betwe…