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. ©Electre 2026

Fiche Technique

Paru le : 19/03/2026

Thématique :

Auteur(s) : Auteur : Thierry Coquand

Éditeur(s) : Collège de France

Collection(s) : Leçons inaugurales du Collège de France

Série(s) : Non précisé.

ISBN : 978-2-7226-0873-3

EAN13 : 9782722608733

Reliure : Broché

Pages : 64

Hauteur: 19.0 cm / Largeur 12.0 cm

Épaisseur: 0.6 cm

Poids: 78 g

12,00 €

Chargement...