M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.
Source: wiktionary
Combinator
/ˈkɑm.bɪˌneɪ.tɚ/
Synonyms for "combinator"
Ranked by relevance and common usage.
Sample sentences
1 total sentences available.