Combinator

//ˈkɑm.bɪˌneɪ.tɚ// noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A 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 Λ⁰."

Example

More examples

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

Related phrases

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.