(computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

A device that is used to measure the proportion of oxygen in a fluid

(physics) The temperature that is the transition point between the normal and the superfluid forms of helium (at a particular pressure)

(computing theory) A well-formed formula in the language of a lambda calculus.

plural of lambda function

(programming) An anonymous function; a function that is defined in an inline, ad-hoc manner, and often doesn't have a name (not bound to an identifier).

(computing theory) A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.

plural of lambda expression

plural of lambda point

plural of lambda calculus