International Conference on Types for Proofs and Programs (22. : 2016 : Novi Sad) Bezüge im Wissensnetz Veranstaltungsort (1) GND Novi Sad