An Effective Model of the Univalence Axiom

Young Researchers N. 247 – 2022 SOE

• Principal Investigator: Jacopo Emmenegger
• Department of Mathematics - DIMA
• Grant Agreement: SOE_0000071
• Start date: 20 December 2022
• End date: 19 December 2024
• MUR funding: € 150.000,00