On the Metric Nature of (Differential) Logical Relations.

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Browse the full FSCD paper archive.