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

By COQUAND THIERRY

Ce livre retrace l'histoire récente de la théorie des types, aussi bien autour de la vérification des preuves sur ordinateur que de la synergie qui est en train de s'établir entre la théorie des types dépendants et la théorie de l'homotopie.

• Format: Paperback
• Language: French
• ISBN: 2722608731
• ISBN13: 9782722608733
• Release Date: March 2026
• Publisher: COLLEGE FRANCE
• Length: 64 Pages
• Weight: 0.16 lbs.
• Dimensions: 7.3" x 0.2" x 4.7"