HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Meet the Young CAS PI: Sigbjørn Løland Bore 27.02.2023 21:29 -
Meet the Young CAS PI: Maria Ingrid Teresa Olsson 24.02.2023 14:18 -
Publication on Reading and Interpreting Runic Inscriptions in Futhark: International Journal of Runic Studies 24.02.2023 11:56 -
CAS´ former project leader Helge Jordheim awarded The 'Gad Rausings pris' 2023 23.02.2023 14:15 -
Alumna of the Month: Liv Ingeborg Lied 31.01.2023 11:48
