Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
normal order reduction
Jump to user comments
Under this evaluation strategy an expression is evaluated by
reducing the leftmost outermost redex first. This method
will terminate for any expression for which termination is
possible, whereas applicative order reduction may not. This
method is equivalent to passing arguments unevaluated because
arguments are initially to the right of functions applied to
Related search result for "normal order reduction"
Comments and discussion on the word "normal order reduction"