lambda term

English

lambda term (plural lambda terms)

(computing theory) 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.

单词	lambda term
释义	lambda term English Noun lambda term (plural lambda terms) (computing theory) 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.* Synonyms lambda expression Hyponyms lambda abstraction
随便看	probusiness probuzený probuđivati probušiti Proby Probyn Probys probytaithe probytaithes probá probábamos probábeis probábel probádat probáis probándola probándolas probándole probándoles probándolo probándolos probándome probándonos probándoos probándose