HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
CAS Fellow receives ERC Synergy Grant 14/10/2019 -
Meet the project: Do we really need grammatical gender? 07/10/2019 -
Meet the project: What are the preconditions for evolution? 03/10/2019 -
The Norwegian Academy of Science and Letters new partner of the Young CAS Fellow programme 30/09/2019 -
Announcing the 2021/22 CAS projects 18/09/2019
