reduction

Related entries include:

call-by-name; call-by-need; combination; Head Normal Form; injection; lazy evaluation; lenient evaluation; name capture; normal form; Weak Head Normal Form;