eta reduction

noun

eta reduction

noun
1

Eta conversion.

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.