Seminar, Computational Mathematics
Wed 31 March
-
Seminar, Computational Mathematics
Wednesday 2021-03-31, 14:00 - 14:45
Participating: Evan Cavallo
Location: 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) (Seminar, Computational Mathematics) Zoom, meeting ID: 611 3329 7865 (KTH, Stockholm, Sweden)Evan Cavallo: Internal parametricity (and cubical type theory) (Seminar, Computational Mathematics)