((&lambda;y.xy)(&lambda;z.y(&lambda;y.x)))[xyz/x]<br>

Rinominiamo le variabili legate, ottenendo<br>

((&lambda;t.xt)(&lambda;v.y(&lambda;w.x)))[xyz/x]<br>

Effettuiamo ora la sostituzione.<br>

((&lambda;t.(xyz)t)(&lambda;v.y(&lambda;w.xyz)))