Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi: 23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017. LIPIcs 104, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-071-2