Evaluation Order and Infinite Lists - slide 11 : 27
The beta rewrite rule
A beta conversion tells how to evaluate a function call
An application of a function can be substituted by the function body, in which
formal parameters are substituted by the corresponding actual parameters