combinator
English edit
Pronunciation edit
- (UK) IPA(key): /ˈkɒm.bɪˌneɪ.tə(ɹ)/
- (US) IPA(key): /ˈkɑm.bɪˌneɪ.tɚ/, [ˈkɑm.bɪˌneɪ.ɾɚ]
Audio (US) (file)
Noun edit
combinator (plural combinators)
- (computer science) A lambda expression which has no free variables in it.
- 1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl[1], retrieved 2012-07-15:
- M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ0.
Derived terms edit
Translations edit
lambda expression with no free variables
|
Latin edit
Verb edit
combīnātor