Lambda表达式中的参数

Question

在一本书中，我遇到了以下lambda表达式

(λabc.cba)zz(λwv.w)

我应该如何解释（λabc.cba）的参数？有两个论点

(zz)(λwv.w)

或者有三个参数

(z)(z)(λwv.w)

我怀疑有三个参数，因为通常在数学中使用一个字母来表示变量（与编程中不同）。

Answer 1

  

有两个参数还是三个参数？

三个参数

如果不以zz的形式在(zz)上添加括号，则应用程序将与左侧相关联，如下所示：

( ( (λabc.cba) z) z) (λwv.w)

等同于接受三个参数。