Konferens
Må 6 februari - Sö 12 februari
-
Konferens
fredag 2017-02-10, 10.00
Plats: 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 (Konferens) Room 22, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Mini-symposium: type theory and constructive mathematics (Konferens)