Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Type_theory> }
- Abstract_data_type wikiPageWikiLink Category:Type_theory.
- Abstract_type wikiPageWikiLink Category:Type_theory.
- Ad_hoc_polymorphism wikiPageWikiLink Category:Type_theory.
- Algebraic_data_type wikiPageWikiLink Category:Type_theory.
- Attribute_domain wikiPageWikiLink Category:Type_theory.
- Automath wikiPageWikiLink Category:Type_theory.
- Axiom_of_reducibility wikiPageWikiLink Category:Type_theory.
- Bottom_type wikiPageWikiLink Category:Type_theory.
- Bounded_quantification wikiPageWikiLink Category:Type_theory.
- Calculus_of_constructions wikiPageWikiLink Category:Type_theory.
- Categorial_grammar wikiPageWikiLink Category:Type_theory.
- Combinatory_categorial_grammar wikiPageWikiLink Category:Type_theory.
- Composite_data_type wikiPageWikiLink Category:Type_theory.
- Container_(type_theory) wikiPageWikiLink Category:Type_theory.
- Covariance_and_contravariance_(computer_science) wikiPageWikiLink Category:Type_theory.
- Curry–Howard_correspondence wikiPageWikiLink Category:Type_theory.
- Dependent_type wikiPageWikiLink Category:Type_theory.
- Derived_type wikiPageWikiLink Category:Type_theory.
- Duck_typing wikiPageWikiLink Category:Type_theory.
- Effect_system wikiPageWikiLink Category:Type_theory.
- Empty_type wikiPageWikiLink Category:Type_theory.
- Enumerated_type wikiPageWikiLink Category:Type_theory.
- Existential_type wikiPageWikiLink Category:Type_theory.
- Extensional_type_theory wikiPageWikiLink Category:Type_theory.
- Function_type wikiPageWikiLink Category:Type_theory.
- Functor_(type_theory) wikiPageWikiLink Category:Type_theory.
- Generalized_algebraic_data_type wikiPageWikiLink Category:Type_theory.
- Girards_paradox wikiPageWikiLink Category:Type_theory.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Type_theory.
- Hindley–Milner_type_system wikiPageWikiLink Category:Type_theory.
- History_of_type_theory wikiPageWikiLink Category:Type_theory.
- Homotopy_type_theory wikiPageWikiLink Category:Type_theory.
- Identity_type wikiPageWikiLink Category:Type_theory.
- Induction-recursion_(type_theory) wikiPageWikiLink Category:Type_theory.
- Inductive_data_type wikiPageWikiLink Category:Type_theory.
- Inductive_type wikiPageWikiLink Category:Type_theory.
- Initial_algebra wikiPageWikiLink Category:Type_theory.
- Intensional_type_theory wikiPageWikiLink Category:Type_theory.
- Intuitionistic_type_theory wikiPageWikiLink Category:Type_theory.
- Kind_(type_theory) wikiPageWikiLink Category:Type_theory.
- Lambda_cube wikiPageWikiLink Category:Type_theory.
- Liskov_substitution_principle wikiPageWikiLink Category:Type_theory.
- List_of_mathematics_categories wikiPageWikiLink Category:Type_theory.
- Logical_framework wikiPageWikiLink Category:Type_theory.
- Mathematical_structure wikiPageWikiLink Category:Type_theory.
- New_Foundations wikiPageWikiLink Category:Type_theory.
- Nominative_and_structural_type_systems wikiPageWikiLink Category:Type_theory.
- Nullable_type wikiPageWikiLink Category:Type_theory.
- closed_principle wikiPageWikiLink Category:Type_theory.
- Option_type wikiPageWikiLink Category:Type_theory.
- Ordered_pair wikiPageWikiLink Category:Type_theory.
- Parametric_polymorphism wikiPageWikiLink Category:Type_theory.
- Parametricity wikiPageWikiLink Category:Type_theory.
- Polymorphism_(computer_science) wikiPageWikiLink Category:Type_theory.
- Pregroup_grammar wikiPageWikiLink Category:Type_theory.
- Principal_type wikiPageWikiLink Category:Type_theory.
- Product_type wikiPageWikiLink Category:Type_theory.
- Prototype-based_programming wikiPageWikiLink Category:Type_theory.
- Pure_type_system wikiPageWikiLink Category:Type_theory.
- Quotient_type wikiPageWikiLink Category:Type_theory.
- Ramified_theory_of_types wikiPageWikiLink Category:Type_theory.
- Rank_(type_theory) wikiPageWikiLink Category:Type_theory.
- Recursive_data_type wikiPageWikiLink Category:Type_theory.
- Reference_type wikiPageWikiLink Category:Type_theory.
- Refinement_type wikiPageWikiLink Category:Type_theory.
- ST_type_theory wikiPageWikiLink Category:Type_theory.
- Setoid wikiPageWikiLink Category:Type_theory.
- Static_cast wikiPageWikiLink Category:Type_theory.
- Stream_(computer_science) wikiPageWikiLink Category:Type_theory.
- Strong_and_weak_typing wikiPageWikiLink Category:Type_theory.
- Subject_expansion wikiPageWikiLink Category:Type_theory.
- Subject_reduction wikiPageWikiLink Category:Type_theory.
- Substructural_type_system wikiPageWikiLink Category:Type_theory.
- Subtyping wikiPageWikiLink Category:Type_theory.
- System_F wikiPageWikiLink Category:Type_theory.
- System_F-sub wikiPageWikiLink Category:Type_theory.
- System_U wikiPageWikiLink Category:Type_theory.
- Tagged_union wikiPageWikiLink Category:Type_theory.
- Top_type wikiPageWikiLink Category:Type_theory.
- Trait_(computer_programming) wikiPageWikiLink Category:Type_theory.
- Tuple wikiPageWikiLink Category:Type_theory.
- Twelf wikiPageWikiLink Category:Type_theory.
- Typability wikiPageWikiLink Category:Type_theory.
- Type_checking wikiPageWikiLink Category:Type_theory.
- Type_class wikiPageWikiLink Category:Type_theory.
- Type_constructor wikiPageWikiLink Category:Type_theory.
- Type_conversion wikiPageWikiLink Category:Type_theory.
- Type_erasure wikiPageWikiLink Category:Type_theory.
- Type_family wikiPageWikiLink Category:Type_theory.
- Type_inference wikiPageWikiLink Category:Type_theory.
- Type_inhabitation wikiPageWikiLink Category:Type_theory.
- Type_reconstruction wikiPageWikiLink Category:Type_theory.
- Type_rule wikiPageWikiLink Category:Type_theory.
- Type_safety wikiPageWikiLink Category:Type_theory.
- Type_signature wikiPageWikiLink Category:Type_theory.
- Type_system wikiPageWikiLink Category:Type_theory.
- Type_theory wikiPageWikiLink Category:Type_theory.
- Type_variable wikiPageWikiLink Category:Type_theory.
- Typed_lambda_calculus wikiPageWikiLink Category:Type_theory.
- Typeful_programming wikiPageWikiLink Category:Type_theory.