Seminarium, Doktorand
Må 29 november - Sö 5 december
-
Seminarium, Doktorand
fredag 2021-12-03, 13.15 - 14.15
Medverkande: Errol Yuksel (Stockholm University)
Plats: Kräftriket, House 5, Room 32
2021-12-03T13:15:00.000+01:00 2021-12-03T14:15:00.000+01:00 Errol Yuksel: Coherence in monoidal categories via type theory (Seminarium, Doktorand) Kräftriket, House 5, Room 32 (KTH, Stockholm, Sweden)Errol Yuksel: Coherence in monoidal categories via type theory (Seminarium, Doktorand)