Media type: Electronic Conference Proceeding; E-Article; Text Title: Front Matter, Table of Contents, Preface, Conference Organization Contributor: Dybjer, Peter [Author]; Espírito Santo, José [Author]; Pinto, Luís [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Language: English DOI: https://doi.org/10.4230/LIPIcs.TYPES.2018.0 Keywords: Table of Contents ; Front Matter ; Conference Organization ; Preface Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: Front Matter, Table of Contents, Preface, Conference Organization Access State: Open Access