meaning of lambda
1. The name of the Greek letter /, /, corresponding with the English letter L, l.
2. The point of junction of the sagittal and lambdoid sutures of the skull.
3. LAMBDA A version of typed lambda-calculus, used to describe semantic domains. ["Outline of a Mathematical Theory of Computation", D. S. Scott, TM PRG-2, PRG, Oxford U, 1971]. lambda abstraction A term in lambda-calculus denoting a function. A lambda abstraction begins with a lower-case lambda represented as "" in this document, followed by a variable name the "bound variable", a full stop and a lambda expression the body. The body is taken to extend as far to the right as possible so, for example an expression, x . y . x+y is read as x . y . x+y. A nested abstraction such as this is often abbreviated to: x y . x + y The lambda expression v . E denotes a function which takes an argument and returns the term E with all free occurrences of v replaced by the actual argument. Application is represented by juxtaposition so x . x 42 represents the identity function applied to the constant 42. A lambda abstraction in Lisp is written as the symbol lambda, a list of zero or more variable names and a list of zero or more terms, e. g. lambda x y plus x y Lambda expressions in Haskell are written as a backslash, "", one or more patterns e. g. variable names, "">"->" and an expression, e. g. x -> x.
4. the craniometric point at the junction of the sagittal and lamboid sutures of the skull
Related Words
lambda | lambda expression | lambda hyperon | lambda lifting | lambda particle | lambda prolog | lambda-calculus | lambdacism |
