About: Type theory

Property	Value
rdf:type	skos:Concept
rdfs:label	Type theory
skos:broader	dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematical_structures dbpedia:Category:Programming_language_theory
skos:prefLabel	Type theory
is skos:subject of	dbpedia:Abstract_data_type dbpedia:New_Foundations dbpedia:Variable_(programming) dbpedia:Void_type dbpedia:Container_(Type_theory) dbpedia:Unit_type dbpedia:Composite_data_type dbpedia:Effect_system dbpedia:Generalized_algebraic_data_type dbpedia:Manifest_typing dbpedia:Tuple dbpedia:Abstract_type dbpedia:Duck_typing dbpedia:Type_theory dbpedia:Type_safety dbpedia:Type_system dbpedia:Higher-order_abstract_syntax dbpedia:Lambda_cube dbpedia:Ordered_pair dbpedia:Enumerated_type dbpedia:Liskov_substitution_principle dbpedia:Type_polymorphism dbpedia:Strongly_typed_programming_language dbpedia:Algebraic_data_type dbpedia:Axiom_of_reducibility dbpedia:Bottom_type dbpedia:Derived_type dbpedia:Open/closed_principle dbpedia:Mathematical_structure dbpedia:Covariance_and_contravariance_(computer_science) dbpedia:Prototype-based_programming dbpedia:Type_inference dbpedia:Type_conversion dbpedia:Automath dbpedia:Calculus_of_constructions dbpedia:Calculus_of_inductive_constructions dbpedia:Type_signature dbpedia:Top_type dbpedia:Trait_(abstract_type) dbpedia:Curry–Howard_correspondence dbpedia:Dependent_type dbpedia:Initial_algebra dbpedia:Intuitionistic_type_theory dbpedia:Kind_(type_theory) dbpedia:LF_(logical_framework) dbpedia:Linear_type_system dbpedia:Nominative_and_structural_type_systems dbpedia:Option_type dbpedia:Product_type dbpedia:Signedness dbpedia:Structural_type_system dbpedia:Subtype_polymorphism dbpedia:Substitutability dbpedia:Traits_class dbpedia:Type_class dbpedia:Typed_lambda_calculus dbpedia:Weak_typing dbpedia:Nominative_type_system dbpedia:Principal_type dbpedia:Pure_type_system dbpedia:Recursive_data_type dbpedia:Twelf dbpedia:Typeful_programming dbpedia:POPLmark_challenge dbpedia:Parametricity dbpedia:Reference_type dbpedia:System_F-sub dbpedia:System_F dbpedia:Type_soundness dbpedia:Setoid dbpedia:Tagged_union dbpedia:Uniqueness_type dbpedia:Type_inhabitation