<theory> A term from lambda-calculus for beta reduction or beta abstraction.
(1999-01-15)
Try this search on Wikipedia, OneLook, Google