Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Induction-recursion_(type_theory)> }
Showing triples 1 to 5 of
5
with 100 triples per page.
- Inductive_type wikiPageWikiLink Induction-recursion_(type_theory).
- Type_theory wikiPageWikiLink Induction-recursion_(type_theory).
- summary?doi=10.1.1.219.2442 isCitedBy Induction-recursion_(type_theory).
- 2586554 isCitedBy Induction-recursion_(type_theory).
- Induction-recursion_(type_theory) primaryTopic Induction-recursion_(type_theory).