lambda term
lambda term noun: a well-formed formula in the language of a lambda calculus.
Noun
lambda term (plural lambda terms)
- 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
Synonyms of lambda term
Forms of lambda term
| plural | lambda terms |
|---|
Questions about lambda term
- What does lambda term mean?
- Lambda term means a well-formed formula in the language of a lambda calculus.
- What part of speech is lambda term?
- Lambda term is a noun.
- What is the plural of lambda term?
- The plural of lambda term is lambda terms.
Words near lambda term in the dictionary
Source and license
Adapted from Wiktionary: lambda term (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “lambda term.” Word.ws, https://word.ws/lambda_term. Based on Wiktionary, CC BY-SA 4.0.
