Неформальное понятие лямбда-выражения

Лямбда-выражение (лямбда-абстракция) имеет вид

λx.body

где

λ"функция от"
xсвязанная переменная
точка (.)"которая возвращает"
bodyтело, т.е. выражение (может не содержать x)