Peter Dybjer, José Espírito Santo, Luís Pinto, editors, 24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. Volume 130 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Conference: TYPES2019
@proceedings{types-2018,
title = {24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-106-1},
researchr = {https://researchr.org/publication/types-2018},
cites = {0},
citedby = {0},
booktitle = {24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal},
conference = {TYPES},
editor = {Peter Dybjer and José Espírito Santo and Luís Pinto},
volume = {130},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-106-1},
}