24th International Conference on Types for Proofs and Programs,TYPES 2018
Braga, Portugal, 18-21 June 2018
It looks like nothing was found at this location. Maybe try a search?