Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Martin-Lof's_type_theory> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Martin-Lof's_type_theory wikiPageID "10273841".
- Martin-Lof's_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Lof's_type_theory wikiPageRevisionID "117923540".
- Martin-Lof's_type_theory label "Martin-Lof's type theory".
- Martin-Lof's_type_theory sameAs m.01yly1.
- Martin-Lof's_type_theory wasDerivedFrom Martin-Lof's_type_theory?oldid=117923540.
- Martin-Lof's_type_theory isPrimaryTopicOf Martin-Lof's_type_theory.