Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Intuitionistic_Type_Theory> }
Showing triples 1 to 6 of
6
with 100 triples per page.
- Constructive_proof wikiPageWikiLink Intuitionistic_Type_Theory.
- Higher-order_logic wikiPageWikiLink Intuitionistic_Type_Theory.
- Intuitionistic_logic wikiPageWikiLink Intuitionistic_Type_Theory.
- Matita wikiPageWikiLink Intuitionistic_Type_Theory.
- Parametric_polymorphism wikiPageWikiLink Intuitionistic_Type_Theory.
- Intuitionistic_Type_Theory primaryTopic Intuitionistic_Type_Theory.