Hello, you have come here looking for the meaning of the word
combinator. In DICTIOUS you will not only get to know all the dictionary meanings for the word
combinator, but we will also tell you about its etymology, its characteristics and you will know how to say
combinator in singular and plural. Everything you need to know about the word
combinator you have here. The definition of the word
combinator will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
combinator, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Pronunciation
Noun
combinator (plural combinators)
- (computer science) A lambda expression which has no free variables in it.
1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl, retrieved 2012-07-15:M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ0.
Derived terms
Translations
lambda expression with no free variables
Latin
Verb
combīnātor
- second/third-person singular future passive imperative of combīnō