combinator

English

Pronunciation

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

  • 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‎^[1], retrieved 2012-07-15:

     M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.

Derived terms

• supercombinator

Translations

lambda expression with no free variables

• Serbo-Croatian: kombinator (sh) m

Latin

Verb

combīnātor

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