Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Type theory
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
1028819
(xsd:integer)
dbo:
wikiPageRevisionID
952536801
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_category
dbt
:CatAutoTOC
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Type theory
(en)
skos:
broader
dbc
:Mathematical_structures
dbc
:Logic_in_computer_science
dbc
:Mathematical_logic
dbc
:Programming_language_theory
skos:
prefLabel
Type theory
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Type_theory?oldid=952536801&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Enumerated_type
dbr
:New_Foundations
dbr
:Typed_lambda_calculus
dbr
:Principal_type
dbr
:Dependent_type
dbr
:Homotopy_type_theory
dbr
:Unification_(computer_science)
dbr
:Induction-recursion
dbr
:Inductive_data_type
dbr
:Initial_algebra
dbr
:Intensional_type_theory
dbr
:Intersection_type
dbr
:Intersection_type_discipline
dbr
:Intuitionistic_type_theory
dbr
:Pregroup_grammar
dbr
:Substructural_type_system
dbr
:Generalized_algebraic_data_type
dbr
:Quotient_type
dbr
:Effect_system
dbr
:Bottom_type
dbr
:Bounded_quantification
dbr
:Container_(type_theory)
dbr
:Open–closed_principle
dbr
:Calculus_of_constructions
dbr
:Simply_typed_lambda_calculus
dbr
:Combinatory_categorial_grammar
dbr
:Composite_data_type
dbr
:Empty_type
dbr
:Function_type
dbr
:Functor_(type_theory)
dbr
:Identity_type
dbr
:Ordered_pair
dbr
:Parametric_polymorphism
dbr
:Polymorphism_(computer_science)
dbr
:Pure_type_system
dbr
:Mathematical_structure
dbr
:Typing_environment
dbr
:Ad_hoc_polymorphism
dbr
:Tuple
dbr
:Type_checking
dbr
:Type_conversion
dbr
:Type_signature
dbr
:Type_system
dbr
:Type_theory
dbr
:Duck_typing
dbr
:Girard's_paradox
dbr
:Lambda_cube
dbr
:Liskov_substitution_principle
dbr
:Abstract_data_type
dbr
:Algebraic_data_type
dbr
:Curry–Howard_correspondence
dbr
:Flow-sensitive_typing
dbr
:History_of_type_theory
dbr
:Kind_(type_theory)
dbr
:Type_class
dbr
:Type_erasure
dbr
:Logical_framework
dbr
:Prototype-based_programming
dbr
:Rank_(type_theory)
dbr
:Subject_reduction
dbr
:Hindley–Milner_type_system
dbr
:Attribute_domain
dbr
:Covariance_and_contravariance_(computer_science)
dbr
:Nullable_type
dbr
:Twelf
dbr
:Abstract_type
dbr
:Higher-order_abstract_syntax
dbr
:Top_type
dbr
:Trait_(computer_programming)
dbr
:Recursive_data_type
dbr
:Refinement_type
dbr
:System_F
dbr
:Automath
dbr
:Axiom_of_reducibility
dbr
:Typing_rule
dbr
:Induction-induction
dbr
:Inductive_type
dbr
:Option_type
dbr
:Categorial_grammar
dbr
:Type_safety
dbr
:Unit_type
dbr
:Value_(computer_science)
dbr
:Variable_(computer_science)
dbr
:Void_type
dbr
:Type_inference
dbr
:Extensional_type_theory
dbr
:Type_inhabitation
dbr
:Subject_expansion
dbr
:Subtyping
dbr
:Existential_type
dbr
:System_U
dbr
:Universal_type
dbr
:Universal_types
dbr
:ST_type_theory
dbr
:Product_type
dbr
:Polynomial_functor_(type_theory)
dbr
:Session_type
dbr
:Setoid
dbr
:Nominative_and_structural_type_systems
dbr
:Ramified_theory_of_types
dbr
:Type_constructor
dbr
:Type_family
dbr
:Type_variable
dbr
:Parametricity
dbr
:Tagged_union
dbr
:Uniqueness_type
dbr
:Typability
dbr
:Type_reconstruction
dbr
:Type_theory_with_records
dbr
:Stream_(abstract_data_type)
dbr
:Static_cast
is
dcterms:
subject
of
dbr
:Enumerated_type
dbr
:New_Foundations
dbr
:Typed_lambda_calculus
dbr
:Principal_type
dbr
:Dependent_type
dbr
:Homotopy_type_theory
dbr
:Unification_(computer_science)
dbr
:Induction-recursion
dbr
:Inductive_data_type
dbr
:Initial_algebra
dbr
:Intensional_type_theory
dbr
:Intersection_type
dbr
:Intersection_type_discipline
dbr
:Intuitionistic_type_theory
dbr
:Pregroup_grammar
dbr
:Substructural_type_system
dbr
:Generalized_algebraic_data_type
dbr
:Quotient_type
dbr
:Effect_system
dbr
:Bottom_type
dbr
:Bounded_quantification
dbr
:Container_(type_theory)
dbr
:Open–closed_principle
dbr
:Calculus_of_constructions
dbr
:Simply_typed_lambda_calculus
dbr
:Combinatory_categorial_grammar
dbr
:Composite_data_type
dbr
:Empty_type
dbr
:Function_type
dbr
:Functor_(type_theory)
dbr
:Identity_type
dbr
:Ordered_pair
dbr
:Parametric_polymorphism
dbr
:Polymorphism_(computer_science)
dbr
:Pure_type_system
dbr
:Mathematical_structure
dbr
:Typing_environment
dbr
:Ad_hoc_polymorphism
dbr
:Tuple
dbr
:Type_checking
dbr
:Type_conversion
dbr
:Type_signature
dbr
:Type_system
dbr
:Type_theory
dbr
:Duck_typing
dbr
:Girard's_paradox
dbr
:Lambda_cube
dbr
:Liskov_substitution_principle
dbr
:Abstract_data_type
dbr
:Algebraic_data_type
dbr
:Curry–Howard_correspondence
dbr
:Flow-sensitive_typing
dbr
:History_of_type_theory
dbr
:Kind_(type_theory)
dbr
:Type_class
dbr
:Type_erasure
dbr
:Logical_framework
dbr
:Prototype-based_programming
dbr
:Rank_(type_theory)
dbr
:Subject_reduction
dbr
:Hindley–Milner_type_system
dbr
:Attribute_domain
dbr
:Covariance_and_contravariance_(computer_science)
dbr
:Nullable_type
dbr
:Twelf
dbr
:Abstract_type
dbr
:Higher-order_abstract_syntax
dbr
:Top_type
dbr
:Trait_(computer_programming)
dbr
:Recursive_data_type
dbr
:Refinement_type
dbr
:System_F
dbr
:Automath
dbr
:Axiom_of_reducibility
dbr
:Typing_rule
dbr
:Induction-induction
dbr
:Inductive_type
dbr
:Option_type
dbr
:Categorial_grammar
dbr
:Type_safety
dbr
:Unit_type
dbr
:Value_(computer_science)
dbr
:Variable_(computer_science)
dbr
:Void_type
dbr
:Type_inference
dbr
:Extensional_type_theory
dbr
:Type_inhabitation
dbr
:Subject_expansion
dbr
:Subtyping
dbr
:Existential_type
dbr
:System_U
dbr
:Universal_type
dbr
:Universal_types
dbr
:ST_type_theory
dbr
:Product_type
dbr
:Polynomial_functor_(type_theory)
dbr
:Session_type
dbr
:Setoid
dbr
:Nominative_and_structural_type_systems
dbr
:Ramified_theory_of_types
dbr
:Type_constructor
dbr
:Type_family
dbr
:Type_variable
dbr
:Parametricity
dbr
:Tagged_union
dbr
:Uniqueness_type
dbr
:Typability
dbr
:Type_reconstruction
dbr
:Type_theory_with_records
dbr
:Stream_(abstract_data_type)
dbr
:Static_cast
is
skos:
broader
of
dbc
:Type_systems
dbc
:Polymorphism_(computer_science)
dbc
:Type_inference
dbc
:Abstract_data_types
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License