💡 Words with a Similar Meaning to "Lambda term"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| 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. |
| lambdanoun | (physics, mathematics) Unit representation of wavelength. |
| lambda abstractionnoun | (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. |
| lambda expressionnoun | An algebraic expression representing a function by binding one or more parameters to an expression which may contain those parameters. |
| 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). |
| combinatornoun | (computer science) A lambda expression which has no free variables in it. |
| 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). |
| logical calculusnoun | (logic) A formal system. |
| 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.) |
| 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. |
| formal logicnoun | (logic) Mathematical logic. |
| well-formed formulanoun | (logic) A statement that is expressed in a valid, syntactically correct manner. |
| formulanoun | A plan or method for dealing with a problem or for achieving a result. |
| formal languagenoun | (computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet). |
| 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. |
| logicnoun | (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method. |
| 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. |
| five lemmanoun | (singular only, mathematics) A particular lemma that claims the existence of a particular isomorphism in a commutative diagram given certain other homomorphisms in the diagram. |
| applicandnoun | (mathematics) A function, in lambda calculus, that is the subject of application |
Translate “Lambda term” into Another Language
Pick a language — the word will be pre-filled in the translator.