Word.ws English Dictionary

eta conversion

eta conversion noun: 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).

Noun

eta conversion (countable and uncountable, plural eta conversions)

  1. 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 of eta conversion

pluraleta conversions

Questions about eta conversion

What does eta conversion mean?
Eta conversion means 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).
What part of speech is eta conversion?
Eta conversion is a noun.
What is the plural of eta conversion?
The plural of eta conversion is eta conversions.

Words near eta conversion in the dictionary

  1. et. al
  2. ET50
  3. ET743
  4. eta
  5. Eta Carinae
  6. eta conversion
  7. eta conversions
  8. eta meson
  9. eta mesons
  10. eta prime
  11. eta reduction

Source and license

Adapted from Wiktionary: eta conversion (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “eta conversion.” Word.ws, https://word.ws/eta_conversion. Based on Wiktionary, CC BY-SA 4.0.