how to calculate this lambda calculus? is there order of calculation is important?

后端 未结 0 1677
暗喜
暗喜 2020-12-31 14:07

I try to calculate this lambda expression but I don\'t have a assurance.

(λy.x z) (λx.(a b c) λy.(y x) (λx.x y)) b

when i try from head, 
x (λx.(a b c)         


        
相关标签:
回答
  • 消灭零回复
提交回复
热议问题