Maria Emilia Maietti

Un aperçu des doctrines, leurs complétions et applications en maths.

Un aperçu de la connexion entre les types W et la topologie formelle en maths.

Examiner l'interaction entre les mathématiques constructives et les mathématiques prédicatives classiques.

Une nouvelle approche des fondements des maths axée sur la clarté et la structure.