en.wiktionary.org

combinator - Wiktionary, the free dictionary

  • ️Sun Jul 15 2012

From Wiktionary, the free dictionary

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

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 Λ0.

lambda expression with no free variables

combīnātor

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