Workshop on Higher Order Operational Techniques in Semantics (1995 : Cambridge) Bezüge im Wissensnetz Veranstaltungsort (1) GND Cambridge