En relation avec le sujet du cours

Du calcul des constructions à la théorie des types univalents