Call by name

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

• ${\displaystyle \frac{t_1\to t_1^{\prime }}{t_1{t}_2\to t_1^{\prime }{t}_2}}$

• $(\lambda x.t_1)t_2\to [x\to t_2]t_1$