beta rule

beta rule

[′bād·ə ‚rül] (computer science) reduction rule