Calendar
Fri 10 February
-
Conference
Friday 2017-02-10, 10:00
Location: Room 22, House 5, Kräftriket, Department of Mathematics, Stockholm University
2017-02-10T10:00:00.000+01:00 2017-02-10T10:00:00.000+01:00 Mini-symposium: type theory and constructive mathematics (Conference) Room 22, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Mini-symposium: type theory and constructive mathematics (Conference)