Normal form

Normal form may refer to: in formal language theory: in logic: in lambda calculus: