TY  - RPRT
TI  - Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
AU  - Ugo Dal Lago
AU  - Francesco Gavazzo
AU  - Akira Yoshimizu
PY  - 2019
UR  - https://arxiv.org/abs/1904.12137
ID  - 1904.12137
ER  -