VDict mobile



(Or "contraction") The process of transforming an expression
according to certain reduction rules. The most important
forms are beta reduction (application of a lambdaabstraction to one or more argument expressions) and deltareduction (application of a mathematical function to the
required number of arguments).
which part of an expression (which redex) to reduce first.
There are many such strategies.