HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Meet the Project: 'The Demise of Religions' 28/09/2018 -
Former CAS project leader wins ICIAM Su Buchin Prize 24/09/2018 -
Meet the Project: 'Homotopy Type Theory and Univalent Foundations' 21/09/2018 -
Announcing the 2020/21 CAS projects 17/09/2018 -
Meet the Project: 'In Sync: How Synchronisation and Mediation Produce Collective Times, Then and Now' 14/09/2018
