Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Intuitionistic_type_theory> }
- Coq__programming_language__1 influencedBy Intuitionistic_type_theory.
- Type wikiPageDisambiguates Intuitionistic_type_theory.
- Constructive_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Constructive_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Constructivist_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Equality_type wikiPageRedirects Intuitionistic_type_theory.
- Extensional_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Identity_type wikiPageRedirects Intuitionistic_type_theory.
- Inductive_family wikiPageRedirects Intuitionistic_type_theory.
- Intensional_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Intuitionistic_Theory_of_Types wikiPageRedirects Intuitionistic_type_theory.
- Intuitionistic_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Intuitionistic_theory_of_types wikiPageRedirects Intuitionistic_type_theory.
- Martin-Loef_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Loef_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Loefs_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Lof_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Lof_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Lofs_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Lxc3xb6fs_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Löf_Type_Theory wikiPageRedirects Intuitionistic_type_theory.
- Martin-Löf_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Martin–Löf_type_theory wikiPageRedirects Intuitionistic_type_theory.
- ALF_(proof_assistant) wikiPageWikiLink Intuitionistic_type_theory.
- Agda_(programming_language) wikiPageWikiLink Intuitionistic_type_theory.
- Anders_Martin-Löf wikiPageWikiLink Intuitionistic_type_theory.
- Axiom_of_choice wikiPageWikiLink Intuitionistic_type_theory.
- Calculus_of_constructions wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_Type_Theory wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_proof wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_set_theory wikiPageWikiLink Intuitionistic_type_theory.
- Constructive_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Constructivism_(mathematics) wikiPageWikiLink Intuitionistic_type_theory.
- Constructivist_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Coq wikiPageWikiLink Intuitionistic_type_theory.
- Curry–Howard_correspondence wikiPageWikiLink Intuitionistic_type_theory.
- Dependent_type wikiPageWikiLink Intuitionistic_type_theory.
- Diaconescus_theorem wikiPageWikiLink Intuitionistic_type_theory.
- Epigram_(programming_language) wikiPageWikiLink Intuitionistic_type_theory.
- Equality_type wikiPageWikiLink Intuitionistic_type_theory.
- Escuela_Superior_Latinoamericana_de_Informática wikiPageWikiLink Intuitionistic_type_theory.
- Euclidean_geometry wikiPageWikiLink Intuitionistic_type_theory.
- Extensional_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Functional_programming wikiPageWikiLink Intuitionistic_type_theory.
- Glossary_of_areas_of_mathematics wikiPageWikiLink Intuitionistic_type_theory.
- Grammatical_Framework wikiPageWikiLink Intuitionistic_type_theory.
- Higher-order_logic wikiPageWikiLink Intuitionistic_type_theory.
- History_of_topos_theory wikiPageWikiLink Intuitionistic_type_theory.
- History_of_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Homotopy_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Identity_type wikiPageWikiLink Intuitionistic_type_theory.
- Impredicativity wikiPageWikiLink Intuitionistic_type_theory.
- Induction-recursion_(type_theory) wikiPageWikiLink Intuitionistic_type_theory.
- Inductive_data_type wikiPageWikiLink Intuitionistic_type_theory.
- Inductive_family wikiPageWikiLink Intuitionistic_type_theory.
- Inductive_type wikiPageWikiLink Intuitionistic_type_theory.
- Institute_for_Advanced_Study wikiPageWikiLink Intuitionistic_type_theory.
- Intensional_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Intuitionism wikiPageWikiLink Intuitionistic_type_theory.
- Intuitionistic_Theory_of_Types wikiPageWikiLink Intuitionistic_type_theory.
- Intuitionistic_Type_Theory wikiPageWikiLink Intuitionistic_type_theory.
- Intuitionistic_logic wikiPageWikiLink Intuitionistic_type_theory.
- Intuitionistic_theory_of_types wikiPageWikiLink Intuitionistic_type_theory.
- List_of_functional_programming_topics wikiPageWikiLink Intuitionistic_type_theory.
- List_of_incomplete_proofs wikiPageWikiLink Intuitionistic_type_theory.
- List_of_mathematical_logic_topics wikiPageWikiLink Intuitionistic_type_theory.
- List_of_mathematical_symbols wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Loef_Type_Theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Loef_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Loefs_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Lof_Type_Theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Lof_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Lofs_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Lxc3xb6fs_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Löf_Type_Theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin-Löf_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Martin–Löf_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Mathematical_structure wikiPageWikiLink Intuitionistic_type_theory.
- Matita wikiPageWikiLink Intuitionistic_type_theory.
- Natural_deduction wikiPageWikiLink Intuitionistic_type_theory.
- Normalisation_by_evaluation wikiPageWikiLink Intuitionistic_type_theory.
- Nuprl wikiPageWikiLink Intuitionistic_type_theory.
- Ordinal_analysis wikiPageWikiLink Intuitionistic_type_theory.
- Ordinal_collapsing_function wikiPageWikiLink Intuitionistic_type_theory.
- Parametric_polymorphism wikiPageWikiLink Intuitionistic_type_theory.
- Paul_Lorenzen wikiPageWikiLink Intuitionistic_type_theory.
- Per_Martin-Löf wikiPageWikiLink Intuitionistic_type_theory.
- Proof-theoretic_semantics wikiPageWikiLink Intuitionistic_type_theory.
- Proof_theory wikiPageWikiLink Intuitionistic_type_theory.
- Setoid wikiPageWikiLink Intuitionistic_type_theory.
- System_F wikiPageWikiLink Intuitionistic_type_theory.
- System_U wikiPageWikiLink Intuitionistic_type_theory.
- Thomas_Streicher wikiPageWikiLink Intuitionistic_type_theory.
- Topos wikiPageWikiLink Intuitionistic_type_theory.
- Total_functional_programming wikiPageWikiLink Intuitionistic_type_theory.
- Truth_value wikiPageWikiLink Intuitionistic_type_theory.
- Type wikiPageWikiLink Intuitionistic_type_theory.
- Type_theory wikiPageWikiLink Intuitionistic_type_theory.
- Typed_lambda_calculus wikiPageWikiLink Intuitionistic_type_theory.
- Univalent_foundations wikiPageWikiLink Intuitionistic_type_theory.