Bando n. 8/2023 per n. 1 assegno di ricerca “Matematica predicativa classica nelle Univalent Foundations / Classical predicative mathematics within Univalent Foundations”
Approvazione atti
Bando di selezione n. 8/2023 per il conferimento di n. 1 assegno, tipo A, per lo svolgimento di attività di ricerca nell’ambito del progetto dal titolo “Matematica predicativa classica nelle Univalent Foundations / Classical predicative mathematics within Univalent Foundations” da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita”, responsabile scientifico Maria Emilia Maietti.
