Accueil Auteurs Articles postés par Gilles Dowek

Gilles Dowek

Gilles Dowek
1 ARTICLES 0 Commentaires
Chercheur au LSV, laboratoire d'informatique
Langages des maths, langages de l’informatique

Langages des maths, langages de l’informatique

Un nouvel « entretien autour de l’informatique » : Serge Abiteboul et Gilles Dowek interviewent Thierry Coquand, informaticien et mathématicien français, professeur à l’Université...