Seminarium, Beräkningsmatematik
Må 29 mars - Sö 4 april
-
Seminarium, Beräkningsmatematik
onsdag 2021-03-31, 14.00 - 14.45
Medverkande: Evan Cavallo
Plats: Zoom, meeting ID: 611 3329 7865
2021-03-31T14:00:00.000+02:00 2021-03-31T14:45:00.000+02:00 Evan Cavallo: Internal parametricity (and cubical type theory) (Seminarium, Beräkningsmatematik) Zoom, meeting ID: 611 3329 7865 (KTH, Stockholm, Sweden)Evan Cavallo: Internal parametricity (and cubical type theory) (Seminarium, Beräkningsmatematik)