Thierry Coquand
Get Thierry Coquand essential facts below. View Videos or join the Thierry Coquand discussion. Add Thierry Coquand to your 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.



Top US Cities was developed using's knowledge management platform. It allows users to manage learning and research. Visit defaultLogic's other partner sites below: : Music Genres | Musicians | Musical Instruments | Music Industry