Examlex

Solved

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

question 3

Multiple Choice

In lambda calculus,a conversion that allows for the elimination of redundant lambda abstractions is call ____.


Definitions:

Related Questions