lenient evaluation <reduction> An {evaluation strategy}, described in [Traub, FPCA 89], under which all {redex}es are evaluated in parallel except inside the arms of conditionals and inside {lambda abstractions}. Lenient evaluation is an example of an {eager} evaluation strategy. (2004-01-22)