Spanish Thierry Coquand Cited by user EdgarCabreraFariña on 14 Apr 2023 Thierry Coquand (Bourgoin-Jallieu, 18 de abril de 1961) es un informático y matemático francés que actualmente es profesor de informática en la Universidad de Gotemburgo…
English Thierry Coquand Cited by user Partofthemachine on 24 Feb 2023 Thierry Coquand (born 18 April 1961 in Bourgoin-Jallieu, Isère, France) is a French computer scientist and mathematician who is currently a professor of computer science…