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]

  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.
  3. ^ Cite error: The named reference Pierce was invoked but never defined (see the help page).