Ugo Dal Lago, Francesco Gavazzo: Differential Logical Relations Part II: Increments and Derivatives. ICTCS 2020: 101-114