lambda-term bound variables

1. REDIRECT Lambda calculus#Lambda terms

{{R from alternative name}}