Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

beta abstraction

You are here: irt.org | FOLDOC | beta abstraction

[lambda-calculus] The conversion of an expression to an application of a lambda abstraction to an argument expression. Some subterm of the original expression becomes the argument of the abstraction and the rest becomes its body. E.g.

	4+1 --> (\ x . x+1) 4

The opposite of beta abstraction is beta reduction. These are the two kinds of beta conversion.

Nearby terms: best fit « BETA « beta « beta abstraction » beta conversion » Betamaxed » beta reduction

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb