beta conversion

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

Last updated: 1999-01-15


Loading