combinator

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Pronunciation[edit]

  • (file)

Noun[edit]

combinator (plural combinators)

  1. (computer science) A lambda expression which has no free variables in it.
    • 1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, ftp.cs.ru.nl, accessed on 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]


Latin[edit]

Verb[edit]

combīnātor

  1. second-person singular future passive imperative of combīnō
  2. third-person singular future passive imperative of combīnō