About:
Type theory
An Entity in Data Space:
dbpedia.org
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