Binaire : tes travaux se situent à la frontière de l’informatique et des mathématiques. Est-ce que ce sont pour toi deux domaines distincts ? Thierry Coquand : le point de départ de ma thèse était une ...