combinator

C3O1M3B3I1N1A1T1O1R1
UK/ˈkɒm.bɪˌneɪ.tə(ɹ)/US/ˈkɑm.bɪˌneɪ.tɚ/US[ˈkɑm.bɪˌneɪ.ɾɚ]

noun

A lambda expression which has no free variables in it.

UncommonScrabble 16

Meanings

nouncombinator (plural combinators)

plural combinators

  1. computerA lambda expression which has no free variables in it.

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

    1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl^([ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps]), retrieved 15 Jul 2012

Translations

Bulgarian комбинатор
  • комбинатор (kombinator)lambda expression with no free variables
Cite this entry
APA

combinator. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/combinator

MLA

“combinator.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/combinator. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “combinator,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/combinator.

Source: combinator on Wiktionary, CC BY-SA 4.0.