The 24th International Conference on Types for Proofs and Programs 18-21 Junho, 2018, Universidade do Minho, Campus de Gualtar, Braga, Portugal.
Organização: Centro de Matemática da Universidade do Minho. 

mais informações em