Multiple Choice
In lambda calculus,a conversion that allows for the elimination of redundant lambda abstractions is call ____.
A) eta-conversion
B) alpha-conversion
C) beta-conversion
D) beta-abstraction
Correct Answer:
Verified
Correct Answer:
Verified
Related Questions
Q1: The _ character in ML indicates a
Q2: Scheme expressions must be written in prefix
Q4: Scheme expressions that begin with keywords are
Q5: Which of the following correctly assigns values
Q6: The ML programming language is strongly typed.
Q7: The essential construct of lambda calculus is
Q8: The Haskell language requires semicolons and bracketing
Q9: The ML programming language has a built-in
Q10: Which of the following statements about scoping
Q11: The semantics of Scheme uses static type