beta reduce
beta reduce · beta reduces · beta reduced · beta reducing
To syntactically replace a function call by the result of calling that functionTo syntactically replace a function call by the result of calling that function.
Meaning
1 sensesTo 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
beta reduces, beta reducing, beta reduced, beta reduced| Base form | beta reduce · to beta reduce |
|---|---|
| 3rd person singular | beta reduces |
| Present participle | beta reducing |
| Past simple | beta reduced |
| Past participle | beta reduced |
regular
Word family
1 related wordsRelatedbeta reduction
Lessons for this word
3 lessons- A1Present simple — Because it is a verb
- A1Past simple, irregular verbs — Because of its past form
- A2Present perfect: introduction — Because of its past participle