В лямбда-исчислении нельзя вызвать функцию изнутри себя, потому что все функции в нём безымянны. 3
Функция может ссылаться на саму себя только по имени, а в лямбда-исчислении у функций нет имён. 23
Чтобы позволить функциям вызывать себя, в лямбда-исчислении используют другой подход: функцию передают самой себе в качестве аргумента. 34