Seminar, Graduate student
Mon 29 November - Sun 05 December
-
Seminar, Graduate student
Friday 2021-12-03, 13:15 - 14:15
Participating: Errol Yuksel (Stockholm University)
Location: 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 (Seminar, Graduate student) Kräftriket, House 5, Room 32 (KTH, Stockholm, Sweden)Errol Yuksel: Coherence in monoidal categories via type theory (Seminar, Graduate student)