Seminar, Computational Mathematics
Wed 03 March
-
Seminar, Computational Mathematics
Wednesday 2021-03-03, 14:00 - 14:45
Participating: Axel Ljungström
Location: Zoom, meeting ID: 611 3329 7865
2021-03-03T14:00:00.000+01:00 2021-03-03T14:45:00.000+01:00 Axel Ljungström: An Excursion Into Algebraic Topology and Homotopy Type Theory (Seminar, Computational Mathematics) Zoom, meeting ID: 611 3329 7865 (KTH, Stockholm, Sweden)Axel Ljungström: An Excursion Into Algebraic Topology and Homotopy Type Theory (Seminar, Computational Mathematics)