beta conversion


beta conversion

(theory)A term from lambda-calculus for beta reduction orbeta abstraction.