Seminarium, Logik
Ti 1 oktober
-
Seminarium, Logik
tisdag 2019-10-01, 10.00 - 12.00
Medverkande: Benedikt Ahrens, University of Birmingham
Plats: Kräftriket, hus 5, sal 31
2019-10-01T10:00:00.000+02:00 2019-10-01T12:00:00.000+02:00 Benedikt Ahrens: Initial semantics for lambda calculi (Seminarium, Logik) Kräftriket, hus 5, sal 31 (KTH, Stockholm, Sweden)Benedikt Ahrens: Initial semantics for lambda calculi (Seminarium, Logik)