BETA ABSTRACTION
\bˈiːtəɹ ɐbstɹˈakʃən], \bˈiːtəɹ ɐbstɹˈakʃən], \b_ˈiː_t_ə_ɹ ɐ_b_s_t_ɹ_ˈa_k_ʃ_ə_n]\
Sort: Oldest first
-
The conversion of an expression to anapplication of a lambda abstraction to an argumentexpression. Some subterm of the original expression becomesthe argument of the abstraction and the rest becomes itsbody. E.g.4+1 --> (\ x . x+1) 4The opposite of beta abstraction is beta reduction. Theseare the two kinds of beta conversion.
By Denis Howe