Matematica costruttiva, teoria omotopica dei tipi, semantiche senza punti.
Tutte le informazioni sono disponibili nella pagina personale https://marcobenini.me/