Lambda term Uncommon

Definition, synonyms and related words

Definitions

Noun

A well-formed formula in the language of a lambda calculus.

See Also

lambda calculus lambda abstraction alpha conversion well formed formula

Related Terms

lambda calculus lambda abstraction alpha conversion well formed formula

Rhyming Words

erm berm ferm perm germ term merm herm derm inerm sherm sperm therm diderm degerm laperm deperm scherm kinterm minterm

Compare