Answered! Are the following Lambda Calculus expressions well-formed? (Assume an Applied calculus, where the operators (+ -…

Are the following Lambda Calculus expressions well-formed? (Assume an Applied calculus, where the operators (+ – */) are legal well-formed terms in the language and parentheses are allowed.) Very briefly explain your answer. a) lambda z, x. z + x b) lambda z. x c) lambda x. lambda w. (+ w x) (Assume prefix notation is ok)