beta conversioncomputing dictionary

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

(01 Apr 1999)