Media type: Text; Electronic Conference Proceeding; E-Article Title: LIPIcs, Volume 104, TYPES'17, Complete Volume Contributor: Abel, Andreas [Author]; Nordvall Forsberg, Fredrik [Author]; Kaposi, Ambrus [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Language: English DOI: https://doi.org/10.4230/LIPIcs.TYPES.2017 Keywords: Theory of computation ; Type theory ; Program verification ; Proof theory Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: LIPIcs, Volume 104, TYPES'17, Complete Volume Access State: Open Access