International Workshop on Types for Proofs and Programs (18. : 2011 : Bergen, Norwegen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bergen (Norwegen)