Lambda calculus

Noun

Word Frequency: 0.1

Definitions

1.NounAny of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

Synonyms

lambda term lambda lambda abstraction lambda expression logical calculus eta conversion combinator church encoding lambda function linear operator calculus application

🔗 Find words with "lambda calculus" 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.