beta conversion
<theory>
A term from lambda-calculus for beta reduction or beta abstraction.
Last updated: 1999-01-15
Nearby terms:
beta ♦ beta abstraction ♦ beta conversion ♦ Betamaxed ♦ beta reduction
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
