💡 Words with a Similar Meaning to "Combinator"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| supercombinatornoun | (computer science) A mathematical expression which is fully bound and self-contained. It may be either a constant or a combinator where all the subexpressions are supercombinators. |
| combinatory logicnoun | (computer science) Model of computation based on combinators. |
| 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. |
| closed formulanoun | (logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound. |
| sentencenoun | (grammar) A grammatically complete series of words consisting of a subject and predicate, even if one or the other is implied. In modern writing, when using e.g. the Latin, Greek or Cyrillic alphabets, typically beginning with a capital letter and ending with a full stop or other punctuation. |
| 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 termnoun | (computing theory) A well-formed formula in the language of a lambda calculus. |
| 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). |
| nonexplosion | (mathematics) The absence of combinatorial explosion |
| 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). |
| combinatoristnoun | A mathematician who specializes in combinatorics. |
| combinatoriciannoun | (rare) Synonym of combinatorist. |
| juxtapositionnoun | The nearness of objects with little or no delimiter. |
| combinatoricistnoun | (rare) Synonym of combinatorist. |
| monomenoun | (mathematics, logic, computing) An expression with a single term, such as a product of numeric variables (with no addition) or a conjunction of possibly negated Boolean variables (with no disjunction). |
| indeterminate | Not accurately determined or determinable. |
| 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). |
| empty functionnoun | (mathematics) A function whose domain is the empty set. |
| lambda expressionnoun | An algebraic expression representing a function by binding one or more parameters to an expression which may contain those parameters. |
🎨 Adjectives for "Combinator"
Popular adjectives used to describe this word in books.
📝 Common Phrases with "Combinator"
Words that come before
Translate “Combinator” into Another Language
Pick a language — the word will be pre-filled in the translator.