eta conversions

A form of eta conversion — 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).

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noun
  1. pluralplural of eta conversion
Cite this entry
APA

eta conversions. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/eta%20conversions

MLA

“eta conversions.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/eta%20conversions. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “eta conversions,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/eta%20conversions.

Source: eta conversions on Wiktionary, CC BY-SA 4.0.