@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/resource/Category:> .
dbpedia:Abstract_data_type	skos:subject	ns2:Type_theory .
dbpedia:New_Foundations	skos:subject	ns2:Type_theory .
<http://dbpedia.org/resource/Variable_%28programming%29>	skos:subject	ns2:Type_theory .
dbpedia:Void_type	skos:subject	ns2:Type_theory .
<http://dbpedia.org/resource/Container_%28Type_theory%29>	skos:subject	ns2:Type_theory .
dbpedia:Unit_type	skos:subject	ns2:Type_theory .
dbpedia:Composite_data_type	skos:subject	ns2:Type_theory .
dbpedia:Effect_system	skos:subject	ns2:Type_theory .
dbpedia:Generalized_algebraic_data_type	skos:subject	ns2:Type_theory .
dbpedia:Manifest_typing	skos:subject	ns2:Type_theory .
dbpedia:Tuple	skos:subject	ns2:Type_theory .
dbpedia:Abstract_type	skos:subject	ns2:Type_theory .
dbpedia:Duck_typing	skos:subject	ns2:Type_theory .
dbpedia:Type_theory	skos:subject	ns2:Type_theory .
dbpedia:Type_safety	skos:subject	ns2:Type_theory .
dbpedia:Type_system	skos:subject	ns2:Type_theory .
dbpedia:Higher-order_abstract_syntax	skos:subject	ns2:Type_theory .
dbpedia:Lambda_cube	skos:subject	ns2:Type_theory .
dbpedia:Ordered_pair	skos:subject	ns2:Type_theory .
dbpedia:Enumerated_type	skos:subject	ns2:Type_theory .
dbpedia:Liskov_substitution_principle	skos:subject	ns2:Type_theory .
dbpedia:Type_polymorphism	skos:subject	ns2:Type_theory .
dbpedia:Strongly_typed_programming_language	skos:subject	ns2:Type_theory .
dbpedia:Algebraic_data_type	skos:subject	ns2:Type_theory .
dbpedia:Axiom_of_reducibility	skos:subject	ns2:Type_theory .
dbpedia:Bottom_type	skos:subject	ns2:Type_theory .
dbpedia:Derived_type	skos:subject	ns2:Type_theory .
@prefix ns3:	<http://dbpedia.org/resource/Open/> .
ns3:closed_principle	skos:subject	ns2:Type_theory .
dbpedia:Mathematical_structure	skos:subject	ns2:Type_theory .
<http://dbpedia.org/resource/Covariance_and_contravariance_%28computer_science%29>	skos:subject	ns2:Type_theory .
dbpedia:Prototype-based_programming	skos:subject	ns2:Type_theory .
dbpedia:Type_inference	skos:subject	ns2:Type_theory .
dbpedia:Type_conversion	skos:subject	ns2:Type_theory .
dbpedia:Automath	skos:subject	ns2:Type_theory .
dbpedia:Calculus_of_constructions	skos:subject	ns2:Type_theory .
dbpedia:Calculus_of_inductive_constructions	skos:subject	ns2:Type_theory .
dbpedia:Type_signature	skos:subject	ns2:Type_theory .
dbpedia:Top_type	skos:subject	ns2:Type_theory .
<http://dbpedia.org/resource/Trait_%28abstract_type%29>	skos:subject	ns2:Type_theory .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns2:Type_theory	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Type_theory	rdfs:label	"Type theory"@en ;
	skos:prefLabel	"Type theory"@en ;
	skos:broader	ns2:Mathematical_structures ,
		ns2:Logic_in_computer_science ,
		ns2:Programming_language_theory .
<http://dbpedia.org/resource/Curry%E2%80%93Howard_correspondence>	skos:subject	ns2:Type_theory .
dbpedia:Dependent_type	skos:subject	ns2:Type_theory .
dbpedia:Initial_algebra	skos:subject	ns2:Type_theory .
dbpedia:Intuitionistic_type_theory	skos:subject	ns2:Type_theory .
<http://dbpedia.org/resource/Kind_%28type_theory%29>	skos:subject	ns2:Type_theory ,
		ns2:Type_theory .
dbpedia:Linear_type_system	skos:subject	ns2:Type_theory .
dbpedia:Nominative_and_structural_type_systems	skos:subject	ns2:Type_theory .
dbpedia:Option_type	skos:subject	ns2:Type_theory .
dbpedia:Product_type	skos:subject	ns2:Type_theory .
dbpedia:Signedness	skos:subject	ns2:Type_theory .
dbpedia:Structural_type_system	skos:subject	ns2:Type_theory .
dbpedia:Subtype_polymorphism	skos:subject	ns2:Type_theory .
dbpedia:Substitutability	skos:subject	ns2:Type_theory .
dbpedia:Traits_class	skos:subject	ns2:Type_theory .
dbpedia:Type_class	skos:subject	ns2:Type_theory .
dbpedia:Typed_lambda_calculus	skos:subject	ns2:Type_theory .
dbpedia:Weak_typing	skos:subject	ns2:Type_theory .
dbpedia:Nominative_type_system	skos:subject	ns2:Type_theory .
dbpedia:Principal_type	skos:subject	ns2:Type_theory .
dbpedia:Pure_type_system	skos:subject	ns2:Type_theory .
dbpedia:Recursive_data_type	skos:subject	ns2:Type_theory .
dbpedia:Twelf	skos:subject	ns2:Type_theory .
dbpedia:Typeful_programming	skos:subject	ns2:Type_theory .
dbpedia:POPLmark_challenge	skos:subject	ns2:Type_theory .
dbpedia:Parametricity	skos:subject	ns2:Type_theory .
dbpedia:Reference_type	skos:subject	ns2:Type_theory .
dbpedia:System_F-sub	skos:subject	ns2:Type_theory .
dbpedia:System_F	skos:subject	ns2:Type_theory .
dbpedia:Type_soundness	skos:subject	ns2:Type_theory .
dbpedia:Setoid	skos:subject	ns2:Type_theory .
dbpedia:Tagged_union	skos:subject	ns2:Type_theory .
dbpedia:Uniqueness_type	skos:subject	ns2:Type_theory .
dbpedia:Type_inhabitation	skos:subject	ns2:Type_theory .