HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Young CAS Fellow programme important for successful research funding 17/01/2020 -
NOK 30 million to research on multilingualism 16/01/2020 -
Sustainable Healthcare Education: CAS fellows pen successful application to Centre for Excellence in Education 20/12/2019 -
How are Norwegian dialects changing? 19/12/2019 -
‘Training the Western legal systems to listen to other voices’ 18/12/2019
