About: Intersection type discipline

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Branch of type theory

Property	Value
dbo:description	branch of type theory (en)
dbo:wikiPageWikiLink	dbr:EXPSPACE dbr:Mariangiola_Dezani-Ciancaglini dbr:Henk_Barendregt dbr:Parametric_polymorphism dbc:Lambda_calculus dbr:Type_inhabitation dbr:Typing_rule dbr:Type_system dbr:Type_theory dbr:Preorder dbr:Beta_normal_form dbr:Reflexive_relation dbr:Ad_hoc_polymorphism dbc:Polymorphism_(computer_science) dbc:Type_theory dbr:Mathematical_logic dbr:P_(complexity) dbr:Undecidable_problem dbr:Subject_reduction dbc:Theory_of_computation dbr:Simply_typed_lambda_calculus dbc:Type_systems dbr:Normalization_property_(abstract_rewriting) dbr:Lambda_calculus_definition dbr:Intersection_type dbr:Typability
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Polymorphism_(computer_science) dbc:Type_theory dbc:Theory_of_computation dbc:Type_systems
rdfs:label	Intersection type discipline (en)
owl:sameAs	wikidata:Intersection type discipline dbpedia-global:Intersection type discipline dbr:Intersection type discipline
prov:wasDerivedFrom	wikipedia-en:Intersection_type_discipline?oldid=1284361758&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Intersection_type_discipline
is dbo:wikiPageRedirects of	dbr:Intersection_Type_Discipline dbr:Intersection_type_system
is dbo:wikiPageWikiLink of	dbr:Mariangiola_Dezani-Ciancaglini dbr:Intersection_type dbr:Intersection_Type_Discipline dbr:Intersection_type_system
is foaf:primaryTopic of	wikipedia-en:Intersection_type_discipline

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International