Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Thierry_Coquand> ?p ?o. }
Showing items 1 to 59 of
59
with 100 items per page.
- Thierry_Coquand abstract "Thierry Coquand (born 18 April 1961, 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 wikiPageRevisionID "577961920".
- 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 description "French mathematician and computer scientist".
- Thierry_Coquand description "French mathematician and computer scientist".
- Thierry_Coquand subject Category:1961_births.
- Thierry_Coquand subject Category:French_computer_scientists.
- Thierry_Coquand subject Category:French_mathematicians.
- Thierry_Coquand subject Category:Living_people.
- Thierry_Coquand subject Category:University_of_Gothenburg_faculty.
- Thierry_Coquand type CausalAgent100007347.
- Thierry_Coquand type ComputerScientist109951070.
- Thierry_Coquand type ComputerUser109951274.
- Thierry_Coquand type FrenchComputerScientists.
- Thierry_Coquand type FrenchMathematicians.
- Thierry_Coquand type LivingPeople.
- Thierry_Coquand type LivingThing100004258.
- Thierry_Coquand type Mathematician110301261.
- Thierry_Coquand type Object100002684.
- Thierry_Coquand type Organism100004475.
- Thierry_Coquand type Person100007846.
- Thierry_Coquand type PhysicalEntity100001930.
- Thierry_Coquand type Scientist110560637.
- Thierry_Coquand type Whole100003553.
- Thierry_Coquand type YagoLegalActor.
- Thierry_Coquand type YagoLegalActorGeo.
- Thierry_Coquand type Agent.
- Thierry_Coquand type Person.
- Thierry_Coquand type Person.
- Thierry_Coquand type Q215627.
- Thierry_Coquand type Q5.
- Thierry_Coquand type Agent.
- Thierry_Coquand type NaturalPerson.
- Thierry_Coquand type Thing.
- Thierry_Coquand type Person.
- Thierry_Coquand comment "Thierry Coquand (born 18 April 1961, 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 label "Thierry Coquand".
- Thierry_Coquand label "Кокан, Тьерри".
- Thierry_Coquand sameAs Thierry_Coquand.
- Thierry_Coquand sameAs m.0gtwsc9.
- Thierry_Coquand sameAs Q3524190.
- Thierry_Coquand sameAs Q3524190.
- Thierry_Coquand sameAs Thierry_Coquand.
- Thierry_Coquand wasDerivedFrom Thierry_Coquand?oldid=577961920.
- 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".
