Call by name

In pure lambda calculus, this strategy is defined by the following rules:

• $\displaystyle \frac{t_1 \to t_1'}{t_1\ t_2 \to t_1'\ t_2}$
• $(\lambda x.\ t_1)\ t_2 \to [x \to t_2] t_1$