Calendar
Tue 03 May
-
Topological Activities
Tuesday 2016-05-03, 13:15 - 15:00
Participating: Steve Awodey (Carnegie Mellon University)
Location: 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) (Topological Activities) 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) (Topological Activities)