Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Thierry_Coquand> }
Showing triples 1 to 17 of
17
with 100 triples per page.
- Gérard_Huet doctoralStudent Thierry_Coquand.
- ACM_Software_System_Award wikiPageWikiLink Thierry_Coquand.
- Academic_genealogy_of_computer_scientists wikiPageWikiLink Thierry_Coquand.
- Calculus_of_constructions wikiPageWikiLink Thierry_Coquand.
- Constructive_proof wikiPageWikiLink Thierry_Coquand.
- Coq wikiPageWikiLink Thierry_Coquand.
- Curry–Howard_correspondence wikiPageWikiLink Thierry_Coquand.
- Gérard_Huet wikiPageWikiLink Thierry_Coquand.
- Homotopy_type_theory wikiPageWikiLink Thierry_Coquand.
- Institute_for_Advanced_Study wikiPageWikiLink Thierry_Coquand.
- Lambda_cube wikiPageWikiLink Thierry_Coquand.
- List_of_mathematicians_(C) wikiPageWikiLink Thierry_Coquand.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Thierry_Coquand.
- Type_theory wikiPageWikiLink Thierry_Coquand.
- Univalent_foundations wikiPageWikiLink Thierry_Coquand.
- Gérard_Huet doctoralStudents Thierry_Coquand.
- Thierry_Coquand primaryTopic Thierry_Coquand.