Publié le 27 février 2025
Actualité

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

Communiqué de presse

Thierry Coquand, invité à occuper la chaire annuelle Informatique et sciences numériques, prononcera sa leçon inaugurale le 13 mars 2025.

Documents et médias

Dernières actualités associées

Toute l'actualité