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)

這等效於接受三個參數。