Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Martin-Löf's_type_theory> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- Martin-Löf's_type_theory wikiPageID "2944854".
- Martin-Löf's_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Löf's_type_theory wikiPageRevisionID "52864162".
- Martin-Löf's_type_theory label "Martin-Löf's type theory".
- Martin-Löf's_type_theory sameAs Martin-L%C3%B6f's_type_theory.
- Martin-Löf's_type_theory wasDerivedFrom Martin-Löf's_type_theory?oldid=52864162.