5 Nov
2002
5 Nov
'02
8:24 a.m.
Prof. Dr. Thomas Streicher, TU Darmstadt, Denotationale Semantik und Logik von Objektkalkülen, siehe auch http://www.cs.tu-bs.de/kolloquium/streicher.htm