In Lambda Calculus,a Value Can Be Substituted for a Variable

question 45

Multiple Choice

In lambda calculus,a value can be substituted for a variable by use of a(n) ____.

• A) reduction rule
• B) evaluation rule
• C) abstraction rule
• D) application rule