lambda calculus

(redirected from Beta substitution)
Also found in: Dictionary, Wikipedia.
Related to Beta substitution: Alpha reduction, Untyped lambda calculus

lambda calculus

[′lam·də ‚kal·kyə·ləs]
(mathematics)
A mathematical formalism to model the mathematical notion of substitution of values for bound variables.