Math Lambda演算简化

下面是我发现很难简化的lambda表达式，即我无法理解如何处理此问题

（λmn（λsz.ms（nsz）））（λsz.sz）（λsz.sz）

我对此感到迷茫

如果有人能把我引向正确的方向，我将不胜感激。

也许是一个更好的提问的地方。StackOverflow用于源代码相关问题！关于lambda微积分，你读到了什么？相反，这是这个问题的正确答案。用于研究级问题。也许是一个更好的问的地方。StackOverflow用于源代码相关问题！关于lambda微积分，你读到了什么？相反，这是这个问题的正确答案。用于研究级问题。