💡 Words with a Similar Meaning to "Lambda abstraction"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| lambda termnoun | (computing theory) A well-formed formula in the language of a lambda calculus. |
| lambdanoun | (physics, mathematics) Unit representation of wavelength. |
| lambda calculusnoun | (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. |
| alpha conversionnoun | (computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (λx.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (λy.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y. |
| lambda functionnoun | (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). |
| eta conversionnoun | (computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (λx.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself). |
| lambda expressionnoun | An algebraic expression representing a function by binding one or more parameters to an expression which may contain those parameters. |
| combinatornoun | (computer science) A lambda expression which has no free variables in it. |
| applicationnoun | (computing) A computer program or the set of software that the end user perceives as a single entity as a tool for a well-defined purpose. (Also called: application program; application software.) |
| beta reductionnoun | (computing theory) One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s. |
| free variablenoun | (mathematics, logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol). |
| termnoun | That which limits the extent of anything; limit, extremity, bound, boundary, terminus. |
| linear operatornoun | (mathematics, functional analysis) An operator L such that for functions f and g and scalar λ, L (f + g) = L f + L g and L λf = λ L f. |
| polymorphismnoun | (object-oriented programming) A feature pertaining to the dynamic treatment of data elements based on their type, allowing for a method to have several definitions. |
| variablenoun | (programming) A named memory location in which a program can store intermediate results and from which it can read them. |
| de bruijn indexnoun | (mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation. |
| applicandnoun | (mathematics) A function, in lambda calculus, that is the subject of application |
| eigenvaluenoun | (linear algebra) A scalar λ, such that there exists a non-zero vector x (a corresponding eigenvector) for which the image of x under a given linear transformation A is equal to the image of x under multiplication by λ; i.e. Ax=λx. |
| church encodingnoun | (mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus. |
| logarithmic integralnoun | (mathematics) A special function written using the symbol li and defined as operatorname lix=∫₀ˣ(dt)/(ln t). |
Translate “Lambda abstraction” into Another Language
Pick a language — the word will be pre-filled in the translator.