Arguments in lambda expressions

Question

In a book I encountered the following lambda expression

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

How should I interpret the arguments of (λabc.cba)? Are there two arguments

(zz)(λwv.w)

or are there three arguments

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

I suspect three arguments since normally one letter is used in Mathematics to denote a variable (unlike from in programming).

assembly.jc · Accepted Answer · 2018-12-17 23:48:56Z

5

Are there two arguments or are there three arguments?

Three arguments

If don't explicit add parentheses to zz as (zz), the application associate to the left as below:

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

It is equivalent to take three arguments.

answered Dec 17, 2018 at 10:03

assembly.jc

2,0761 gold badge9 silver badges16 bronze badges

Sign up to request clarification or add additional context in comments.

1 Answer 1