13 Mar 2025 Leçon inaugurale La théorie des types, de Russell aux assistants à la démonstration 13 Mar 2025 Partager Facebook LinkedIn Bluesky Threads Copier le lien
Jeudi 13 mars 2025 Voir aussi : Thierry Coquand 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ç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
