Beta reduction#.CE.B2-reduction

1. REDIRECT Lambda calculus#Reduction

{{Redirect category shell|1=

{{R to section}}

}}