⏰ Jeudi 13 mars 2025, 18 h
#Science #Mathématiques
"La théorie des types, de Russell aux assistants à la démonstration"
📌 Leçon inaugurale de Thierry Coquand, professeur invité sur la chaire #Informatique et sciences numériques, en partenariat avec Inria.
👉 www.college-de-france.fr/fr/agenda/le...
