International Conference on Types for Proofs and Programs (30. : 2024 : Kopenhagen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kopenhagen Homepage (1) GND types2024