Jeudi 13 mars 2025 Voir aussi : Thierry CoquandLeçons inaugurales et de clôture Programme Leçon inaugurale 18:00 - 19:00 La théorie des types, de Russell aux assistants à la démonstration Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00 Voir aussi Thierry Coquand, chaire Informatique et sciences numériques Leçons inaugurales et de clôture
