La théorie des types, de Russell aux assistants à la démonstration

Synthèse de l'évolution historique et conceptuelle de la théorie des types, de ses fondements logiques posés par B. Russell jusqu'aux avancées contemporaines des types dépendants. L'auteur explore les diverses facettes de cette discipline, outil indispensable pour la vérification formelle des preuves mathématiques assistée par ordinateur et champ de recherche théorique riche.