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

Question

Quizplus · Accepted Answer

Eta-conversion is a conversion rule in lambda calculus that allows the elimination of redundant lambda abstractions. It is based on the idea that if a function f applied to an argument x can be reduced to a simple form, then the lambda abstraction that represents f can be eliminated and replaced by the result of the reduction. This is often used to simplify lambda expressions and make them easier to read and understand.

In Lambda Calculus,a Conversion That Allows for the Elimination of Redundant