问题描述
我有一个带空格的lambda表达式。 我只是不知道该怎么办。
(λy.λz.λz.z y t) k (λx.x)
以上是一个问题。
First,k reduction -> (λz.λz.z k t) (λx.x) and (λx.x) reduction
-> λ(λx.x).(λx.x) k t -> k.k t ??????? what is problem in this case?
or k reduction first,than (λk.k t) (λx.x) -> (λx.x t) -> t ?
the below one is OK?
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）