Langages des maths, langages de l’informatiqueUn 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öte...30 jul 2019
