 In Lévy's 1988 paper "Sharing in the Evaluation of lambda Expressions", he defines a notion of optimal sharing, such that no work is "duplicated".For example, performing a β-reduction in normal order on (λ"x".