Construire des preuves mathématiques
Invité pour l'année 2024-2025 sur la chaire Informatique et sciences numériques créée en partenariat avec Inria, Thierry Coquand, mathématicien et professeur d'informatique à l'université de Göteborg, en Suède, a prononcé sa leçon inaugurale intitulée « La théorie des types, de Russell aux...