Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/History_of_type_theory> }
Showing triples 1 to 7 of
7
with 100 triples per page.
- Escher_(programming_language) influencedBy History_of_type_theory.
- Simple_theory_of_types wikiPageRedirects History_of_type_theory.
- Escher_(programming_language) wikiPageWikiLink History_of_type_theory.
- Simple_theory_of_types wikiPageWikiLink History_of_type_theory.
- Vicious_circle_principle wikiPageWikiLink History_of_type_theory.
- Escher_(programming_language) influencedBy History_of_type_theory.
- History_of_type_theory primaryTopic History_of_type_theory.