Lambda calculus Uncommon

Definition, synonyms and related words

Definitions

Noun

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.

See Also

church encoding calculus lambda alpha conversion lambda term combinator functionally complete turing machine

Related Terms

church encoding calculus lambda alpha conversion lambda term combinator functionally complete turing machine church rosser theorem lambda expression applicand recursive function redex lambda abstraction beta reduction eta conversion de bruijn index scheme

Rhyming Words

plus ulus hilus zelus pilus talus polus dolus zulus solus milus malus tolus palus bolus obelus bellus cyclus pullus mullus

Compare