Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Type_theory> }
- Conor_McBride field Type_theory.
- J._Roger_Hindley field Type_theory.
- Luca_Cardelli field Type_theory.
- Gregory_Bateson influenced Type_theory.
- Per_Martin-Löf knownFor Type_theory.
- Type wikiPageDisambiguates Type_theory.
- Logical_type wikiPageRedirects Type_theory.
- System_of_types wikiPageRedirects Type_theory.
- Theory_of_Logical_Types wikiPageRedirects Type_theory.
- Theory_of_Types wikiPageRedirects Type_theory.
- Theory_of_types wikiPageRedirects Type_theory.
- Type-theoretic wikiPageRedirects Type_theory.
- Type_(logic) wikiPageRedirects Type_theory.
- Type_(mathematics) wikiPageRedirects Type_theory.
- Type_Theory wikiPageRedirects Type_theory.
- Typed_logic wikiPageRedirects Type_theory.
- Abstract_data_type wikiPageWikiLink Type_theory.
- Abuse_of_notation wikiPageWikiLink Type_theory.
- Alfred_Tarski wikiPageWikiLink Type_theory.
- Algebraic_data_type wikiPageWikiLink Type_theory.
- Ambient_calculus wikiPageWikiLink Type_theory.
- Array_data_type wikiPageWikiLink Type_theory.
- Association_for_Logic,_Language_and_Information wikiPageWikiLink Type_theory.
- Aterm wikiPageWikiLink Type_theory.
- Axiom_of_extensionality wikiPageWikiLink Type_theory.
- Axiom_of_reducibility wikiPageWikiLink Type_theory.
- Axiom_of_regularity wikiPageWikiLink Type_theory.
- Axiom_schema_of_replacement wikiPageWikiLink Type_theory.
- Axiom_schema_of_specification wikiPageWikiLink Type_theory.
- Baby_modula-3 wikiPageWikiLink Type_theory.
- Bar_recursion wikiPageWikiLink Type_theory.
- Bertrand_Russell wikiPageWikiLink Type_theory.
- Bertrand_Russells_views_on_philosophy wikiPageWikiLink Type_theory.
- Bottom_type wikiPageWikiLink Type_theory.
- Bounded_quantification wikiPageWikiLink Type_theory.
- Bounded_quantifier wikiPageWikiLink Type_theory.
- British_Colloquium_for_Theoretical_Computer_Science wikiPageWikiLink Type_theory.
- Calculus_of_constructions wikiPageWikiLink Type_theory.
- Cantors_diagonal_argument wikiPageWikiLink Type_theory.
- Cardinal_assignment wikiPageWikiLink Type_theory.
- Cardinal_number wikiPageWikiLink Type_theory.
- Categorical_logic wikiPageWikiLink Type_theory.
- Categorical_quantum_mechanics wikiPageWikiLink Type_theory.
- Categories_(Peirce) wikiPageWikiLink Type_theory.
- Category_theory wikiPageWikiLink Type_theory.
- Class_logic wikiPageWikiLink Type_theory.
- Collection_(abstract_data_type) wikiPageWikiLink Type_theory.
- Colon_(punctuation) wikiPageWikiLink Type_theory.
- Computer_science wikiPageWikiLink Type_theory.
- Conor_McBride wikiPageWikiLink Type_theory.
- Constructivism_(mathematics) wikiPageWikiLink Type_theory.
- Container_(abstract_data_type) wikiPageWikiLink Type_theory.
- Container_(type_theory) wikiPageWikiLink Type_theory.
- Coq wikiPageWikiLink Type_theory.
- Curry–Howard_correspondence wikiPageWikiLink Type_theory.
- D_(data_language_specification) wikiPageWikiLink Type_theory.
- Data_type wikiPageWikiLink Type_theory.
- De_Bruijn_notation wikiPageWikiLink Type_theory.
- Decidability_(logic) wikiPageWikiLink Type_theory.
- Denotational_semantics wikiPageWikiLink Type_theory.
- Dependent_type wikiPageWikiLink Type_theory.
- Domain_theory wikiPageWikiLink Type_theory.
- Double_bind wikiPageWikiLink Type_theory.
- Enumerated_type wikiPageWikiLink Type_theory.
- Equivalent_definitions_of_mathematical_structures wikiPageWikiLink Type_theory.
- Euclidean_geometry wikiPageWikiLink Type_theory.
- European_Summer_School_in_Logic,_Language_and_Information wikiPageWikiLink Type_theory.
- Existence_theorem wikiPageWikiLink Type_theory.
- Extensionality wikiPageWikiLink Type_theory.
- Fibred_category wikiPageWikiLink Type_theory.
- Finite_set wikiPageWikiLink Type_theory.
- First-class_function wikiPageWikiLink Type_theory.
- First-order_logic wikiPageWikiLink Type_theory.
- Focus_(linguistics) wikiPageWikiLink Type_theory.
- Frank_Pfenning wikiPageWikiLink Type_theory.
- Functional_predicate wikiPageWikiLink Type_theory.
- Garbage_(computer_science) wikiPageWikiLink Type_theory.
- Generalized_quantifier wikiPageWikiLink Type_theory.
- Glossary_of_Principia_Mathematica wikiPageWikiLink Type_theory.
- Glossary_of_areas_of_mathematics wikiPageWikiLink Type_theory.
- Gordon_Plotkin wikiPageWikiLink Type_theory.
- Gregory_Bateson wikiPageWikiLink Type_theory.
- Gérard_Huet wikiPageWikiLink Type_theory.
- HOL_Light wikiPageWikiLink Type_theory.
- Harry_Mairson wikiPageWikiLink Type_theory.
- Head-driven_phrase_structure_grammar wikiPageWikiLink Type_theory.
- Henk_Barendregt wikiPageWikiLink Type_theory.
- Heyting_algebra wikiPageWikiLink Type_theory.
- Higher-order_logic wikiPageWikiLink Type_theory.
- Hindley–Milner_type_system wikiPageWikiLink Type_theory.
- History_of_logic wikiPageWikiLink Type_theory.
- History_of_topos_theory wikiPageWikiLink Type_theory.
- History_of_type_theory wikiPageWikiLink Type_theory.
- Homotopy_type_theory wikiPageWikiLink Type_theory.
- Hugh_Darwen wikiPageWikiLink Type_theory.
- Hyperarithmetical_theory wikiPageWikiLink Type_theory.
- Index_of_logic_articles wikiPageWikiLink Type_theory.
- Index_of_philosophy_articles_(R–Z) wikiPageWikiLink Type_theory.
- Inductive_type wikiPageWikiLink Type_theory.
- Intuitionistic_type_theory wikiPageWikiLink Type_theory.