Eta conversion

An eta conversion (also written η-conversion) is adding or dropping of abstraction over a function. For example, the following two values are equivalent under η-conversion:

\x -> abs x

and

abs

Extensive use of η-reduction can lead to Pointfree programming.