combinator
UK/ˈkɒm.bɪˌneɪ.tə(ɹ)//ˈkɑm.bɪˌneɪ.tɚ/
combinator noun: a lambda expression which has no free variables in it.
Noun
combinator (plural combinators)
- A lambda expression which has no free variables in it.
- M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl^([ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps]), retrieved 15 Jul 2012
Forms of combinator
| plural | combinators |
|---|
Words formed from combinator
Questions about combinator
- What does combinator mean?
- Combinator means a lambda expression which has no free variables in it.
- What part of speech is combinator?
- Combinator is a noun.
- How do you pronounce combinator?
- Combinator is pronounced /ˈkɒm.bɪˌneɪ.tə(ɹ)/ (UK).
- What is the plural of combinator?
- The plural of combinator is combinators.
Words near combinator in the dictionary
Source and license
Adapted from Wiktionary: combinator (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Pronunciation audio from Wikimedia Commons, each file under its own free license: en-us-combinator.ogg.
Cite this entry: “combinator.” Word.ws, https://word.ws/combinator. Based on Wiktionary, CC BY-SA 4.0.
