eta reductions
English
Noun
eta reductions
plural of
eta reduction