Comment by Labo333

Can someone point me to a reference explaining what beta reduction is?