我有一个带空格的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?