Seminarium, Beräkningsmatematik
On 3 mars
-
Seminarium, Beräkningsmatematik
onsdag 2021-03-03, 14.00 - 14.45
Medverkande: Axel Ljungström
Plats: 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 (Seminarium, Beräkningsmatematik) Zoom, meeting ID: 611 3329 7865 (KTH, Stockholm, Sweden)Axel Ljungström: An Excursion Into Algebraic Topology and Homotopy Type Theory (Seminarium, Beräkningsmatematik)