International Conference on Typed Lambda Calculi and Applications (2 : 1995 : Edinburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh