beta conversion

<theory>

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

Last updated: 1999-01-15

Nearby terms:

betabeta abstractionbeta conversionBetamaxedbeta reduction

Try this search on Wikipedia, OneLook, Google


Loading