(theory) A term from lambda-calculus for beta reduction or beta abstraction.
Last updated: 1999-01-15