Comment Comment by tromp https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B2-reducti...Basically, beta-reduction is the single primitive that performs all computation in the lambda calculus. When you apply the function mapping x to M, to argument N, the result is M with all occurences of x replaced by N. parent tromp 4 years ago
Basically, beta-reduction is the single primitive that performs all computation in the lambda calculus. When you apply the function mapping x to M, to argument N, the result is M with all occurences of x replaced by N.