Reduction strategy

In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation.^[1] Some authors use the term to refer to an evaluation strategy.^[2]^[3]

^ Cite error: The named reference Kirchner was invoked but never defined (see the help page).
^ Selinger, Peter; Valiron, Benoît (2009). "Quantum Lambda Calculus" (PDF). Semantic Techniques in Quantum Computation: 23. doi:10.1017/CBO9781139193313.005. ISBN 9780521513746. Retrieved 21 August 2021.
^ Cite error: The named reference Pierce was invoked but never defined (see the help page).

[Kirchner-1] Cite error: The named reference Kirchner was invoked but never defined (see the help page).

[2] Selinger, Peter; Valiron, Benoît (2009). "Quantum Lambda Calculus" (PDF). Semantic Techniques in Quantum Computation: 23. doi:10.1017/CBO9781139193313.005. ISBN 9780521513746. Retrieved 21 August 2021.

[Pierce-3] Cite error: The named reference Pierce was invoked but never defined (see the help page).

[1]

[2]

[3]