eta conversion
eta conversion · eta conversions
One of the three rewrite rules of lambda calculus, which expresses a sort of tautology…One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (λx.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).
Meaning
1 senses(countable, uncountable)One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (λx.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).
Forms
plural: eta conversions| Singular | eta conversion |
|---|---|
| Plural | eta conversions |
regular
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable