samedi 27 juillet 2019
Langages des maths, langages de l’informatique
Par Didier Müller, samedi 27 juillet 2019 à 09:34 - Articles/revues
Un nouvel « entretien autour de l’informatique » : Serge Abiteboul et Gilles Dowek interviewent Thierry Coquand, informaticien et mathématicien français, professeur à l’Université de Göteborg en Suède. Thierry Coquand est l’auteur de nombreux travaux en théorie de la démonstration et sur les mathématiques constructives. Il est, en particulier, à l’origine, avec Gérard Huet, du Calcul des constructions, qui est la théorie implémentée dans le système Coq.
Lire l'article de Serge Abiteboul et Gilles Dowek sur The Conversation
lu 1924 fois