combinator

English

Pronunciation

Audio (US) (file)

Noun

combinator (plural combinators)

(computer science) A lambda expression which has no free variables in it.
- 1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl‎, retrieved 2012-07-15:
  
  M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.

Derived terms

supercombinator

Translations

lambda expression with no free variables

Serbo-Croatian: kombinator (sh) m

Latin

Verb

combīnātor

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

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.