lambda term

English

Noun

lambda term (plural lambda terms)

(computing theory) A well-formed formula in the language of a lambda calculus.
A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.

Synonyms

lambda expression

Hyponyms

lambda abstraction

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