Лямбда-нотация

Говоря "f(x)", что подразумевают:

В математической статье из контекста понятно, для формального исследования необходима точность. Лямбда-нотация предложена Алонзо Чёрчем в 1930 г.