Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Martin-Löf_type_theory> }
Showing triples 1 to 14 of
14
with 100 triples per page.
- ALF_(proof_assistant) wikiPageWikiLink Martin-Löf_type_theory.
- Agda_(programming_language) wikiPageWikiLink Martin-Löf_type_theory.
- Axiom_of_choice wikiPageWikiLink Martin-Löf_type_theory.
- Constructive_set_theory wikiPageWikiLink Martin-Löf_type_theory.
- Grammatical_Framework wikiPageWikiLink Martin-Löf_type_theory.
- Normalisation_by_evaluation wikiPageWikiLink Martin-Löf_type_theory.
- Ordinal_analysis wikiPageWikiLink Martin-Löf_type_theory.
- Thomas_Streicher wikiPageWikiLink Martin-Löf_type_theory.
- Total_functional_programming wikiPageWikiLink Martin-Löf_type_theory.
- Type_theory wikiPageWikiLink Martin-Löf_type_theory.
- Univalent_foundations wikiPageWikiLink Martin-Löf_type_theory.
- Vladimir_Voevodsky wikiPageWikiLink Martin-Löf_type_theory.
- Martin-L%C3%B6f_type_theory sameAs Martin-Löf_type_theory.
- Martin-Löf_type_theory primaryTopic Martin-Löf_type_theory.