%0 Generic
%T Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming)
%A Dal Lago, Ugo
%A Gavazzo, Francesco
%A Yoshimizu, Akira
%A Ugo Dal Lago and Francesco Gavazzo and Akira Yoshimizu
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Program Equivalence
%K lambda-Calculus
%K Semantics
%K Logical Relations
%D 2019
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation