Seminar, Graduate student
Mon 07 February - Sun 13 February
-
Seminar, Graduate student
Friday 2022-02-11, 13:15 - 14:15
Participating: Axel Ljungström (Stockholm University)
Location: SU, Kräftriket 5, Room 32
2022-02-11T13:15:00.000+01:00 2022-02-11T14:15:00.000+01:00 Axel Ljungström: Introduction to Homotopy Type Theory (Seminar, Graduate student) SU, Kräftriket 5, Room 32 (KTH, Stockholm, Sweden)Axel Ljungström: Introduction to Homotopy Type Theory (Seminar, Graduate student)