# lambda term

Jump to navigation
Jump to search

## Contents

## English[edit]

### Noun[edit]

**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.