Лямбда-термы - слова в алфавите вида:
| x | (переменная) |
| (λx.u) где u - лямбда-терм, x - переменная. |
(абстракция) |
| (u v) где u и v - лямбда-термы, u - оператор, а v - операнд. |
(аппликация, применение) |
В нотации Бэкуса-Наура (БНФ):
терм ::= переменная | (λпеременная.терм) | (терм терм)