%0 Generic
%T LIPIcs, Volume 130, TYPES'18, Complete Volume
%A Dybjer, Peter
%A Espírito Santo, José
%A Pinto, Luís
%A Peter Dybjer and José Espírito Santo and Luís Pinto
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Logic and verification
%K Software and its engineering
%K Program verification
%K Theory of computation,Type theory
%K Constructive mathematics
%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