Lambda expression
mathematics
A term in the lambda-calculus denoting an unnamed function (a “lambda abstraction”), a variable or a constant. The pure lambda-calculus has only functions and no constants.
(1995-04-13)
Read Also:
- Lambda lifting
A program transformation to remove free variables. An expression containing a free variable is replaced by a function applied to that variable. E.g. f x = g 3 where g y = y + x x is a free variable of g so it is added as an extra argument: f x = g 3 […]
- Lambdamoo
games The most frequently used server software for running a MOO and also the nerve-center (of sorts) of the MOO community. (ftp://ftp.lambda.moo.mud.org/pub/MOO/). Telnet (telnet://lambda.moo.mud.org:8888). (1999-05-25)
- Lambda-particle
noun, Physics. 1. any of a family of neutral baryons with strangeness −1 or charm +1, and isotopic spin 0. The least massive member of the lambda family was the first strange particle to be discovered. Symbol: Λ. lambda particle An electrically neutral baryon having a mass 2,183 times that of the electron and a […]
- Lambda-point
noun, Physics. 1. the temperature of approximately 2.186 K, at which the transition from helium I to superfluid helium II occurs.
- Lambda prolog
language An extension of standard Prolog defined by Dale A. Miller and Gopalan Nadathur in 1986, in which terms are strongly typed lambda terms. Clauses are higher order hereditary Harrop formulas. The main novelties are universal quantification on goals and implication. The Prolog/Mali compiler compiles Lambda Prolog for the MALI abstract memory system. Teyjus (http://teyjus.cs.umn.edu/) […]