Langages des maths, langages de l’informatique
Par Didier Müller, samedi 27 juillet 2019 à 09:34 - Articles/revues - #3510 - rss
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
Commentaires
Aucun commentaire n'est possible sur ce blog.