An Effective Model of the Univalence Axiom

Young Researchers N. 247 – 2022 SOE

• P.I.: Jacopo Emmenegger
• Dipartimento di matematica - DIMA
• Grant Agreement: SOE_0000071
• Data di inizio: 20/12/2022
• Data di fine: 19/12/2024
• Finanziamento MUR: 150.000,00 €