combinator

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 ofcombinator, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

English Wikipedia has an article on:
Wikipedia

Pronunciation

  • (UK) IPA(key): /ˈkɒm.bɪˌneɪ.tə(ɹ)/
  • (US) IPA(key): /ˈkɑm.bɪˌneɪ.tɚ/,
    • Audio (US):(file)

Noun

combinator (plural combinators)

  1. (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

Latin

Verb

combīnātor

  1. second/third-person singular future passive imperative of combīnō