Beta Normal Form

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)