标签： lambda calculus reduction
我试图学习和理解lambda演算减少的工作原理。我一直在减少一些表情，并且遇到了这个表情：
所以我根据一些youtube教程尝试了还原
(λxy.yx) ((λz.zz) u)
→
((λz.zz) u)
(λu)
u
这是正确的解决方案，还是我完全错了？