Definitions from Wiktionary (lambda calculus)
▸ noun: (computing theory) Any 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.
polymorphic lambda calculus,
pure lambda calculus,
Typed lambda calculus,
Knights of the Lambda Calculus,
second order lambda calculus,
more...
▸ Words similar to lambda calculus
▸ Usage examples for lambda calculus
▸ Idioms related to lambda calculus
▸ Wikipedia articles (New!)
▸ Words that often appear near lambda calculus
▸ Rhymes of lambda calculus
▸ Invented words related to lambda calculus
▸ noun: (computing theory) Any 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.
Similar:
lambda term,
lambda,
lambda abstraction,
lambda expression,
logical calculus,
eta conversion,
combinator,
Church encoding,
lambda function,
linear operator,
more...
Opposite:
Phrases:
▸ Words similar to lambda calculus
▸ Usage examples for lambda calculus
▸ Idioms related to lambda calculus
▸ Wikipedia articles (New!)
▸ Words that often appear near lambda calculus
▸ Rhymes of lambda calculus
▸ Invented words related to lambda calculus