标签： math logic lambda-calculus reduction
以下是我发现很难减少的lambda表达式，即我无法理解如何解决这个问题。
（λmn（λsz.ms（NSZ）））（λsz.sz）（λsz.sz）
我迷失了。
如果有人能引导我朝着正确的方向前进，那将非常感激