Combinator
/ˈkɑm.bɪˌneɪ.tɚ/
"Combinator" in a Sentence (1 examples)
M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.
M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.