HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Politics, law and society in the High Middle Ages 23.11.2021 09:30 -
Alumni Spotlight: Bjørn Jamtveit 04.11.2021 11:21 -
Dissecting the current debates on prehistoric migration 29.10.2021 09:00 -
Alumni Spotlight: Mette Halskov Hansen 18.10.2021 14:00 -
Meet the Young CAS Fellows for 2022-23: Veronika Kuchařová Pettersen 30.09.2021 10:29
