HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Norway-Poland research project lands major grant 26/02/2021 -
Alumni Spotlight: Michael Stausberg 11/02/2021 -
CAS scholars receive funding to study experts’ political power in the Nordic countries 28/01/2021 -
A new perspective on the Levant 20/01/2021 -
Former CAS scholars receive generous funding 22/12/2020
