Symposium on Applications of Categories in Computer Science (1991 : Durham) Bezüge im Wissensnetz Veranstaltungsort (1) GND Durham