Differential logical relations, Part I: The simply-typed case