Till innehåll på sidan

Kursstart

To 1 december - Lö 31 december

  • Reading course: Homotopy Type Theory

    Kursstart

    ti 2016-11-01, 10.00 - ti 2016-12-20, 11.00

    Plats: Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University

    2016-11-01T10:00:00.000+01:00 2016-12-20T11:00:00.000+01:00 Reading course: Homotopy Type Theory (Kursstart) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Reading course: Homotopy Type Theory (Kursstart)