Word.ws English Dictionary

eta conversions

eta conversions is the plural of eta conversion.

Meaning of eta conversion

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).

Questions about eta conversions

What is eta conversions the plural of?
Eta conversions is the plural of eta conversion.

Words near eta conversions in the dictionary

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

Source and license

Adapted from Wiktionary: eta conversions (page history and authors); 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 conversions.” Word.ws, https://word.ws/eta_conversions. Based on Wiktionary, CC BY-SA 4.0.