International Conference on Types for Proofs and Programs (25. : 2019 : Oslo) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oslo Homepage (1) GND types2019