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:
“We have been weakened in our resistance to the professional anti-Communists because we know in our hearts that our so-called democracy has excluded millions of citizens from a normal life and the normal American privileges of health, housing and education.”
—Agnes E. Meyer (1887–1970)
“The door is opening. A man you have never seen enters the room.
He tells you that it is time to go, but that you may stay,
If you wish. You reply that it is one and the same to you.
It was only later, after the house had materialized elsewhere,
That you remembered you forgot to ask him what form the change would take.”
—John Ashbery (b. 1927)