Thierry Coquand
Get Thierry Coquand essential facts below. View Videos or join the Thierry Coquand discussion. Add Thierry Coquand to your Like2do.com topic list for future reference or share this resource on social media.
Thierry Coquand
Trends in Constructive Mathematics (Frauenwörth, June 2006)

Thierry Coquand (French: [k?k]; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.

See also

External links


  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.


Thierry_Coquand
 



 

Top US Cities