reduced form


reduced form

[ri′düst ′fȯrm] (mathematics) A lambda expression that has no subexpressions of the form (λ xMA), where M and A are lambda expressions, is said to be in reduced form.