lambda term

English

Noun

lambda term (plural lambda terms)Category:English lemmas#LAMBDATERMCategory:English nouns#LAMBDATERMCategory:English countable nouns#LAMBDATERMCategory:English multiword terms#LAMBDATERMCategory:English entries with incorrect language header#LAMBDATERMCategory:Pages with entries#LAMBDA%20TERMCategory:Pages with 1 entry#LAMBDA%20TERM

  1. (computing theoryCategory:en:Theory of computing#LAMBDATERM) A 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.Category:English terms with usage examples#LAMBDATERM

Synonyms

Hyponyms

Category:English countable nouns Category:English lemmas Category:English multiword terms Category:English nouns Category:English terms with usage examples Category:Pages with 1 entry Category:Pages with entries Category:en:Theory of computing