Name Thierry Coquand | ||
 | ||
Books On the Computational Content of the Axiom of Choice | ||
Thierry coquand logic and topology
Thierry Coquand ([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.
Contents
S minaire bourbaki 21 06 2014 4 4 thierry coquand
References
Thierry Coquand Wikipedia(Text) CC BY-SA