A reduction strategY which delaYs evaluation of function arguments until theY are needed because theY are arguments to a primitive function or a conditional. Call-bY-need is one part of lazY evaluation. The term first appears in Chris Wadsworth' s thesis "Semantics and Pragmatics of the Lambda calculus" (Oxford, 1971, p. 183). It was used later, bY J. Vuillemin in his thesis (Stanford, 1973). (1995-05-27)