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