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