Seminarium, master
Ti 16 september - Ti 30 september
-
Seminarium, master
tisdag 2025-09-16, 16.00 - 18.00
Medverkande: Fabian Lukas Grubmüller (SU/KTH)
Plats: Albano hus 1, Cramér room
2025-09-16T16:00:00.000+02:00 2025-09-16T18:00:00.000+02:00 Fabian Lukas Grubmüller: A Gentle Introduction to Homotopy Type Theory (Seminarium, master) Albano hus 1, Cramér room (KTH, Stockholm, Sweden)Fabian Lukas Grubmüller: A Gentle Introduction to Homotopy Type Theory (Seminarium, master)