Wiktionary

eta reduction

English

edit

Noun

edit

eta reduction (countable and uncountable, plural eta reductions)

  1. Eta conversion.
Retrieved from "https://en.wiktionary.org/w/index.php?title=eta_reduction&oldid=44439317"