Beta conversion

A term from lambda-calculus for beta reduction or beta abstraction.