%0 Generic
%T Formal verification of the equivalence of system F and the pure type system L2
%A Kaiser, Jonas
%A Smolka, Gert
%I Saarländische Universitäts- und Landesbibliothek
%K System F
%K pure type system
%K higher-order abstract syntax
%K contextual reasoning
%K de Bruijn syntax
%D 2019
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Saarländische Universitäts- und Landesbibliothek
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation