lambda calculus
(redirected from Lambda calculas)Also found in: Dictionary.
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.