Licentiatseminarium
To 4 juni - To 31 december
-
Licentiatseminarium
måndag 2020-06-15, 14.30
Plats: Zoom, meeting ID: 666 6583 8464
Respondent: Menno de Boer , Stockholms universitet
2020-06-15T14:30:00.000+02:00 2020-06-15T14:30:00.000+02:00 Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium) Zoom, meeting ID: 666 6583 8464 (KTH, Stockholm, Sweden)Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium)