Kalender
Ti 3 maj
-
Topologiska aktiviteter
tisdag 2016-05-03, 13.15 - 15.00
Medverkande: Steve Awodey (Carnegie Mellon University)
Plats: All lectures take place at the Department of Mathematics, Stockholm University, Kräftriket
2016-05-03T13:15:00.918+02:00 2016-05-03T15:00:00.918+02:00 Steve Awodey: Homotopy Type Theory - Lecture series (May 3, 12 and 25) (Topologiska aktiviteter) All lectures take place at the Department of Mathematics, Stockholm University, Kräftriket (KTH, Stockholm, Sweden)Steve Awodey: Homotopy Type Theory - Lecture series (May 3, 12 and 25) (Topologiska aktiviteter)