Simulating multiple arguments
As defined, a Lambda Calculus function can only take one argument.
However, the effect of allowing multiple arguments to a function can be obtained using “currying”.
A 2-parameter function is simulated with two 1-parameter functions. The result of applying the first function is another function. This new function accepts the second argument and produces the result of the simulated 2-parameter function.
More parameters can be handled similarly.