HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Why do Indigenous people have high risk of severe influenza? 14/09/2020 -
Is the world becoming more peaceful? 10/09/2020 -
Announcing the CAS projects 2022/23: from influenza to peace-and-conflict, and algebra 08/09/2020 -
Awarded ERC Starting Grant: ‘I developed as a researcher at CAS’ 04/09/2020 -
Watch the CAS Opening Ceremony live on Facebook 31/08/2020
