Differential Logical Relations, Part I: The Simply-Typed Case.

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

Browse the full ICALP paper archive.