Notice de titre conventionnel
- Notice
Coquand, Thierry (1961-....)La théorie des types, de Russell aux assistants à la démonstration
Langue(s) :
multilingue
Date de l'oeuvre : 2026
publication : 2026
Note(s) sur l'oeuvre :
Leçon inaugurale prononcée au Collège de France le jeudi 13 mars 2025, dans le cadre de la chaire Informatique et sciences numériques 2024-2025.
Identifiant de la notice : ark:/12148/cb21214564j
Notice n° :
FRBNF48743479
Création :
26/08/04
Mise à jour :
26/03/31