International Conference on Types for Proofs and Programs (21. : 2015 : Tallinn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tallinn