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:
“Dada doubts everything. Dada is an armadillo. Everything is Dada, too. Beware of Dada. Anti-dadaism is a disease: selfkleptomania, man’s normal condition, is Dada. But the real dadas are against Dada.”
—Tristan Tzara (1896–1963)
“The decisions of law courts should never be printed: in the long run, they form a counterauthority to the law.”
—Denis Diderot (1713–1784)