beta reduce
verb1
Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences 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;.
- Related terms
- beta reduction, beta convert, beta conversion