Peter Dybjer, José Espírito Santo, Luís Pinto: 24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018. LIPIcs 130, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-106-1