reduction strategy


reduction strategy

(theory)An algorithm for deciding which redex(es) toreduce next. Different strategies have different terminationproperties in the presence of recursive functions or values.

See string reduction, normal order reduction, applicative order reduction, parallel reduction