Eta Reduction

lambda-calculus

Definition

Eta Reduction

An eta reduction ensures that functions providing the same results for the same arguments are equivalent.

$$\lambda v.(ev)\equiv ev\notin FV(e)$$