reduction sequence

reduction sequence

[ri′dək·shən ‚sē·kwəns] (mathematics) A sequence of applications of the reduction rule to a lambda expression.