Combinator
Definition, Meaning & Examples
Pronunciation /ˈkɒm.bɪˌneɪ.tə(ɹ)/ · Part of speech noun
Quick meaning: Combinator is a noun meaning (computer science) A lambda expression which has no free variables in it.
Meaning
(computer science) A lambda expression which has no free variables in it.
Example Sentences
M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.
Word Forms
- combinators
Related Words
Related dictionary entries include supercombinator, sentence, lambda, nonexplosion, combinatorist, combinatorician.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.