Pronunciations (3)
-
/ˈkɒm.bɪˌneɪ.tə(ɹ)/
Pronunciation notes
- UK
-
/ˈkɑm.bɪˌneɪ.tɚ/
Pronunciation notes
- US
-
[ˈkɑm.bɪˌneɪ.ɾɚ]
Pronunciation notes
- US
Noun
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 Λ⁰.