es86


Y\l.(cons x l) 

Y(\f.\n.(cons (sqr n) (f (succ n))))zero 

Y\l.(cons x l) -->> (\l.(cons x l))(Y(\l.(cons x l))) --> (cons x (Y\l.(cons x l))) -->... 

Indicando con F il termine \f.\n.(cons (sqr n) (f (succ n)))) 

Y F zero -->> (\f.\n.(cons (sqr n) (f (succ n)))) (Y F) zero -->> cons (sqr zero) ((Y F) (succ zero)) -->....