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:
“When a man says that he is Jesus or Napoleon, or that the Martians are after him, or claims something else that seems outrageous to common sense, he is labeled psychotic and locked up in a madhouse. Freedom of speech is only for normal people.”
—Thomas Szasz (b. 1920)
“The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.”
—Herbert Spencer (1820–1903)