Я пытаюсь узнать и понять, как работает сокращение лямбда-исчисления.Я уменьшил некоторые выражения, и я столкнулся с этим:
Итак, я попытался уменьшить согласно некоторому учебнику YouTube
(λxy.yx) ((λz.zz) u)
→
((λz.zz) u)
→
(λu)
→
u
Это правильное решение или я совершенно не прав?