beta reduction

1. REDIRECT Lambda calculus#Reduction

{{Redirect category shell|1=

{{R to section}}

}}