combinators
combinators is the plural of combinator.
Meaning of combinator
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
Questions about combinators
- What is combinators the plural of?
- Combinators is the plural of combinator.
Words near combinators in the dictionary
Source and license
Adapted from Wiktionary: combinators (page history and authors); 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:
Cite this entry: “combinators.” Word.ws, https://word.ws/combinators. Based on Wiktionary, CC BY-SA 4.0.
