HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
‘In real life, almost nothing is linear’ 22/09/2020 -
Modern and medieval wars compared in new book 21/09/2020 -
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
