beta reduce

From Wiktionary, the free dictionary

Archived revision by ShakespeareFan00 (talk | contribs) as of 18:06, 25 December 2018.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

English

English Wikipedia has an article on:

lambda calculus

Verb

Lua error in Module:en-headword at line 1145: Legacy parameter 1=STEM no longer supported, just use 'en-verb' without params

(computer science, transitive or intransitive) To syntactically replace a function call by the result of calling that function.
The term $(\lambda x.\,x)\,y$ can beta reduce to $y\!$ .

See also

Retrieved from "https://en.wiktionary.org/w/index.php?title=beta_reduce&oldid=51142781"

Hidden category:

Pages with module errors