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.
- 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 […]
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)
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 […]
noun, Physics. 1. the temperature of approximately 2.186 K, at which the transition from helium I to superfluid helium II occurs.