HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Alumni Spotlight: Marianne Elisabeth Lien 13/02/2019 -
Project Update: 'The Demise of Religions' 28/01/2019 -
Project Update: 'In Sync: How Synchronisation and Mediation Produce Collective Times, Then and Now' 24/01/2019 -
Project Update: 'Homotopy Type Theory and Univalent Foundations' 21/01/2019 -
CAS welcomes NUPI, PRIO as partner institutions 16/01/2019
