author = { Dal Lago, Ugo AND Gavazzo, Francesco AND Yoshimizu, Akira Ugo Dal Lago and Francesco Gavazzo and Akira Yoshimizu },

title = { Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming) },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Program Equivalence , lambda-Calculus , Semantics , Logical Relations },

year = {2019},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }