2

下面是我发现难以减少的 lambda 表达式,即我无法理解如何解决这个问题。

(λmn(λsz.ms(nsz)))(λsz.sz)(λsz.sz)

我迷失了。

如果有人能带领我朝着正确的方向前进,将不胜感激

4

0 回答 0