beta conversion


Also found in: Dictionary.

beta conversion

(theory)
A term from lambda-calculus for beta reduction or beta abstraction.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
Encyclopedia browser ?
Full browser ?