Evaluation strategy strict eager evaluation strategy lazy

A specification of which Beta-redex/Reducible expression to reduce and in what order, determining how terms are evaluated (e.g., Call by value, Call by name, Normal order).