Lambda term

Noun

Definitions

1.NounA 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 calculus lambda lambda abstraction lambda expression lambda function combinator eta conversion logical calculus application church encoding formal logic well-formed formula

🔗 Find words with "lambda term" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.