eta reduction (English, noun)
expansion: eta reduction (countable and uncountable, plural eta reductions)
Senses:
glosses: Eta conversion.
tags: countable
uncountable
Forms:
form: eta reductions
tags: plural