You are here: irt.org | FOLDOC | beta conversion
<theory> A term from lambda-calculus for beta reduction or beta abstraction.
(1999-01-15)
Nearby terms: BETA « beta « beta abstraction « beta conversion » Betamaxed » beta reduction » beta test
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