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.
Read more about Beta Normal Form: Beta Reduction
Famous quotes containing the words normal and/or form:
“Philosophically, incest asks a fundamental question of our shifting mores: not simply what is normal and what is deviant, but whether such a thing as deviance exists at all in human relationships if they seem satisfactory to those who share them.”
—Elizabeth Janeway (b. 1913)
“There is a sort of veteran women of condition, who, having lived always in the grand mode, and having possibly had some gallantries, together with the experience of five and twenty or thirty years, form a young fellow better than all the rules that can be given him.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)