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
Correct Answer:
Verified
Correct Answer:
Verified
Related Questions
Q40: With static scoping,the meaning of a variable
Q41: Which of the following Scheme statements will
Q42: Which of the following statements about Scheme
Q43: A Scheme compiler will translate a tail
Q44: Which of the following represents a list
Q46: To express symbols as a data type
Q47: Lists that obey lazy evaluation are called
Q48: Standard predefined resources for performing input and
Q49: The definition of a language using an
Q50: Which of the following statements about functional