lambda-calculus Definition Alpha Reduction The process of renaming bound variables is called alpha reduction.