← Back to search

Meaning of combinator | Babel Free

Noun CEFR B2

/ˈkɒm.bɪˌneɪ.tə(ɹ)/

Definitions

A lambda expression which has no free variables in it.

Examples

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

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Combinatorial combinatorial chemistry combinatorial commutative algebra combinatorial geometry combinatorial method combinatorial topology