Combinator
//ˈkɑm.bɪˌneɪ.tɚ// noun
noun ·Rare ·Advanced level
Definitions
Noun
- 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
More for "combinator"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.