lambda calculus

(redirected from Untyped lambda calculus)
Also found in: Dictionary.
Related to Untyped lambda calculus: Alpha conversion

lambda calculus

[′lam·də ‚kal·kyə·ləs]
(mathematics)
A mathematical formalism to model the mathematical notion of substitution of values for bound variables.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.
References in periodicals archive ?
Due to its simplicity and computational power, the untyped lambda calculus is attractive for encoding a variety of higher-order program constructs.
Given the lack of an [Omega]-complete axiomatization for the pure untyped lambda calculus [Plotkin 1974], it appears unlikely that a completeness result for a logic axiomatizing the operational properties of [PIM.sub.t] + the [Beta] rule could be obtained.