International Conference on Types for Proofs and Programs (24. : 2018 : Braga) Bezüge im Wissensnetz Veranstaltungsort (1) GND Braga Homepage (1) GND types2018.projj.eu