combinator

Etymology

noun

  1. (computer science) 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-12-20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl, retrieved 2012-07-15

Attribution / Disclaimer All definitions come directly from Wiktionary using the Wiktextract library. We do not edit or curate the definitions for any words, if you feel the definition listed is incorrect or offensive please suggest modifications directly to the source (wiktionary/combinator), any changes made to the source will update on this page periodically.