taught at Göttingen until he retired in April 1968. He was succeeded by Klaus Nickau. Die griechische Empirikerschule: Sammlung der Fragmente und Darstellung...
8 KB (934 words) - 09:06, 12 January 2023
Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau "for providing a fully-abstract semantics for higher-order computation through...
4 KB (470 words) - 12:55, 28 February 2023