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:
“Nothing is poetical if plain daylight is not poetical; and no monster should amaze us if the normal man does not amaze.”
—Gilbert Keith Chesterton (1874–1936)
“So that if you would form a just judgment of what is of infinite importance to you not to be misled in,—namely, in what degree of real merit you stand ... call in religion and morality.—Look,—What is written in the law of God?—How readest thou?—Consult calm reason and the unchangeable obligations of justice and truth;Mwhat say they?”
—Laurence Sterne (1713–1768)