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

Name: 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
Brand: Quizplus
Rating: 4.8 (39 reviews)

Question

Quizplus · Accepted Answer

In lambda calculus, substitution of a value for a variable is performed using a reduction rule, specifically beta reduction.

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