eta conversion
Hello, you have come here looking for the meaning of the word eta conversion. In DICTIOUS you will not only get to know all the dictionary meanings for the word eta conversion, but we will also tell you about its etymology, its characteristics and you will know how to say eta conversion in singular and plural. Everything you need to know about the word eta conversion you have here. The definition of the word eta conversion will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofeta conversion, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
eta conversion (plural eta conversions)
- (computing theory) 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 may be rewritten as simply , provided that x does not occur freely in f (considered by itself).
