About: Beta normal form

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Potential state for a term in Lambda calculus

Property	Value
dbo:description	potential state for a term in Lambda calculus (en)
dbo:wikiPageWikiLink	dbc:Lambda_calculus dbr:Lambda_calculus dbr:Normal_form_(disambiguation) dbr:Director_string dbc:Normal_forms_(logic) dbr:Reduction_strategy_(lambda_calculus) dbr:Standardization_theorem dbr:Weak_head_normal_form
dbp:wikiPageUsesTemplate	dbt:Normal_forms_in_logic dbt:Reflist dbt:Unreferenced_section
dct:subject	dbc:Lambda_calculus dbc:Normal_forms_(logic)
rdfs:label	Beta normal form (en) Forma normal beta (ca) Β-Normalform (de) Forma normal beta (pt) Beta范式 (zh)
owl:sameAs	freebase:Beta normal form wikidata:Beta normal form dbpedia-de:Beta normal form dbpedia-zh:Beta normal form dbpedia-pt:Beta normal form dbpedia-fa:Beta normal form dbpedia-ca:Beta normal form dbpedia-global:Beta normal form
prov:wasDerivedFrom	wikipedia-en:Beta_normal_form?oldid=1286107494&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Beta_normal_form
is dbo:wikiPageDisambiguates of	dbr:Normal_form
is dbo:wikiPageRedirects of	dbr:Head_normal_form dbr:Beta-eta_normal_form dbr:Beta_redex
is dbo:wikiPageWikiLink of	dbr:Normalisation_by_evaluation dbr:Church–Rosser_theorem dbr:Evaluation_strategy dbr:Lambda_calculus dbr:Canonical_form dbr:Church–Turing_thesis dbr:Combinatory_logic dbr:Halting_problem dbr:Normal_form dbr:Head_normal_form dbr:Computable_topology dbr:Lambda_calculus_definition dbr:Krivine_machine dbr:Intersection_type_discipline dbr:Beta-eta_normal_form dbr:Beta_redex
is foaf:primaryTopic of	wikipedia-en:Beta_normal_form

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