@inbook{19d4e25ef7b2463894d1cdea1f9fed35,
title = "Preface",
author = "Marc Bezem and Assia Mahboubi",
year = "2020",
doi = "10.4230/LIPIcs.TYPES.2019.0",
language = "English",
isbn = "9783959771580",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "vii--vii",
editor = "Marc Bezem and Assia Mahboubi",
booktitle = "25th International Conference on Types for Proofs and Programs (TYPES 2019)",
note = "25th International Conference on Types for Proofs and Programs, TYPES 2019 ; Conference date: 11-06-2019 Through 14-06-2019",
}