I calculated beta reduction of the lambda-terms below, i want to know if the results i have are correct. NB: l denotes lambda a- ( (lxy.( x( x (x y) ) )) (lx.z) ) b- ( (lf.(lx.f (x x) )) (lx.f (x x)) g )
result : a- ly.(z (z (z y))) b- (f g)
thank you in advance
verify my answers
