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:
“I shouldn’t say I’m looking forward to leading a normal life, because I don’t know what normal is. This has been normal for me.”
—Martina Navratilova (b. 1956)
“The most absurd apology for authority and law is that they serve to diminish crime. Aside from the fact that the State is itself the greatest criminal, breaking every written and natural law, stealing in the form of taxes, killing in the form of war and capital punishment, it has come to an absolute standstill in coping with crime. It has failed utterly to destroy or even minimize the horrible scourge of its own creation.”
—Emma Goldman (1869–1940)