beta reduce en · VERB
Meanings
-
(intransitive, transitive) To syntactically replace a function call by the result of calling that function.
The term (#92;lambdax.#92;,x)#92;,y can beta reduce to y#92;#33;.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| beta reduces | Number=Sing, Person=3, Tense=Pres | lexicographic | |
| beta reducing | Tense=Pres, VerbForm=Part | lexicographic | |
| beta reduced | Tense=Past, VerbForm=Part | lexicographic | |
| beta reduced | Tense=Past | lexicographic |