HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Alumni Spotlight: Erica Baffelli 01/04/2020 -
Why do some words have gender? 30/03/2020 -
Alumni Spotlight: Atle Mysterud 28/02/2020 -
Announcing the 2020/21 Young CAS Fellows 14/02/2020 -
Young CAS Fellow programme important for successful research funding 17/01/2020
