beta conversion

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



Nearby terms:
BETA « beta « beta abstraction « beta conversion » Betamaxed » beta reduction » beta testing