Licentiatseminarium

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory

  15 jun

  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)