José Espírito Santo (Centro de Matemática, University of Minho)
Maria João Frade (HASLab, University of Minho and INESC TEC)
Cláudia Mendes Araújo (Centro de Matemática, University of Minho)
Luís Pinto (Centro de Matemática, University of Minho)
24th International Conference on Types for Proofs and Programs,TYPES 2018
Braga, Portugal, 18-21 June 2018
José Espírito Santo (Centro de Matemática, University of Minho)
Maria João Frade (HASLab, University of Minho and INESC TEC)
Cláudia Mendes Araújo (Centro de Matemática, University of Minho)
Luís Pinto (Centro de Matemática, University of Minho)