Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Thierry_Coquand> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples per page.
- Thierry_Coquand abstract "Thierry Coquand (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.".
- Thierry_Coquand birthDate "1961-04-18".
- Thierry_Coquand birthYear "1961".
- Thierry_Coquand thumbnail Thierry_Coquand.jpg?width=300.
- Thierry_Coquand wikiPageExternalLink ~coquand.
- Thierry_Coquand wikiPageID "31842262".
- Thierry_Coquand wikiPageLength "1292".
- Thierry_Coquand wikiPageOutDegree "16".
- Thierry_Coquand wikiPageRevisionID "664043527".
- Thierry_Coquand wikiPageWikiLink Calculus_of_constructions.
- Thierry_Coquand wikiPageWikiLink Category:1961_births.
- Thierry_Coquand wikiPageWikiLink Category:20th-century_French_mathematicians.
- Thierry_Coquand wikiPageWikiLink Category:21st-century_French_mathematicians.
- Thierry_Coquand wikiPageWikiLink Category:French_computer_scientists.
- Thierry_Coquand wikiPageWikiLink Category:Living_people.
- Thierry_Coquand wikiPageWikiLink Category:University_of_Gothenburg_faculty.
- Thierry_Coquand wikiPageWikiLink Category:École_Normale_Supérieure_alumni.
- Thierry_Coquand wikiPageWikiLink Computer_science.
- Thierry_Coquand wikiPageWikiLink Constructive_mathematics.
- Thierry_Coquand wikiPageWikiLink Constructivism_(mathematics).
- Thierry_Coquand wikiPageWikiLink Coq.
- Thierry_Coquand wikiPageWikiLink Girards_paradox.
- Thierry_Coquand wikiPageWikiLink Gérard_Huet.
- Thierry_Coquand wikiPageWikiLink Isère.
- Thierry_Coquand wikiPageWikiLink Pure_type_system.
- Thierry_Coquand wikiPageWikiLink University_of_Gothenburg.
- Thierry_Coquand wikiPageWikiLink File:Thierry_Coquand.jpg.
- Thierry_Coquand wikiPageWikiLinkText "Coquand".
- Thierry_Coquand wikiPageWikiLinkText "Coquand, Thierry".
- Thierry_Coquand wikiPageWikiLinkText "Thierry Coquand".
- Thierry_Coquand dateOfBirth "1961-04-18".
- Thierry_Coquand hasPhotoCollection Thierry_Coquand.
- Thierry_Coquand name "Coquand, Thierry".
- Thierry_Coquand shortDescription "French mathematician and computer scientist".
- Thierry_Coquand wikiPageUsesTemplate Template:Authority_control.
- Thierry_Coquand wikiPageUsesTemplate Template:Compu-scientist-stub.
- Thierry_Coquand wikiPageUsesTemplate Template:DBLP.
- Thierry_Coquand wikiPageUsesTemplate Template:France-mathematician-stub.
- Thierry_Coquand wikiPageUsesTemplate Template:MathGenealogy.
- Thierry_Coquand wikiPageUsesTemplate Template:Persondata.
- Thierry_Coquand description "French mathematician and computer scientist".
- Thierry_Coquand description "French mathematician and computer scientist".
- Thierry_Coquand subject Category:1961_births.
- Thierry_Coquand subject Category:20th-century_French_mathematicians.
- Thierry_Coquand subject Category:21st-century_French_mathematicians.
- Thierry_Coquand subject Category:French_computer_scientists.
- Thierry_Coquand subject Category:Living_people.
- Thierry_Coquand subject Category:University_of_Gothenburg_faculty.
- Thierry_Coquand subject Category:École_Normale_Supérieure_alumni.
- Thierry_Coquand hypernym Professor.
- Thierry_Coquand type Agent.
- Thierry_Coquand type List.
- Thierry_Coquand type Person.
- Thierry_Coquand type Scientist.
- Thierry_Coquand type List.
- Thierry_Coquand type Mathematician.
- Thierry_Coquand type Scientist.
- Thierry_Coquand type Person.
- Thierry_Coquand type Agent.
- Thierry_Coquand type NaturalPerson.
- Thierry_Coquand type Thing.
- Thierry_Coquand type Q215627.
- Thierry_Coquand type Q5.
- Thierry_Coquand type Person.
- Thierry_Coquand comment "Thierry Coquand (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.".
- Thierry_Coquand label "Thierry Coquand".
- Thierry_Coquand sameAs Thierry_Coquand.
- Thierry_Coquand sameAs Thierry_Coquand.
- Thierry_Coquand sameAs m.0gtwsc9.
- Thierry_Coquand sameAs Кокан,_Тьерри.
- Thierry_Coquand sameAs Thierry_Coquand.
- Thierry_Coquand sameAs Q3524190.
- Thierry_Coquand sameAs Q3524190.
- Thierry_Coquand wasDerivedFrom Thierry_Coquand?oldid=664043527.
- Thierry_Coquand depiction Thierry_Coquand.jpg.
- Thierry_Coquand givenName "Thierry".
- Thierry_Coquand isPrimaryTopicOf Thierry_Coquand.
- Thierry_Coquand name "Coquand, Thierry".
- Thierry_Coquand name "Thierry Coquand".
- Thierry_Coquand surname "Coquand".