Contact

Resuelve las reducciones beta (\rightarrow_{\beta}) con la siguiente función

F := \lambda y \lambda x.if y=1 then head (x) else F((tail x) y-1)

 

(F ['a'..'z'] 5):(F ['a'..'z'] 24):(F ['a'..'z'] 2):(F ['a'..'z'] 9):(F ['a'..'z'] 15):(F ['a'..'z'] 19):[]++"@ciencias.unam.mx"