Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Beta_normal_form> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Beta_normal_form abstract "In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta-redex in head position.".
- Beta_normal_form wikiPageID "1800460".
- Beta_normal_form wikiPageRevisionID "587985790".
- Beta_normal_form hasPhotoCollection Beta_normal_form.
- Beta_normal_form subject Category:Lambda_calculus.
- Beta_normal_form subject Category:Normal_forms_(logic).
- Beta_normal_form comment "In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta-redex in head position.".
- Beta_normal_form label "Beta normal form".
- Beta_normal_form label "Beta范式".
- Beta_normal_form label "Forma normal beta".
- Beta_normal_form label "Forme normale (lambda-calcul)".
- Beta_normal_form sameAs Forme_normale_(lambda-calcul).
- Beta_normal_form sameAs Forma_normal_beta.
- Beta_normal_form sameAs m.05y0ld.
- Beta_normal_form sameAs Q4897305.
- Beta_normal_form sameAs Q4897305.
- Beta_normal_form wasDerivedFrom Beta_normal_form?oldid=587985790.
- Beta_normal_form isPrimaryTopicOf Beta_normal_form.