Я изучаю исчисление Лямбды, и я застрял в Сокращении.... Может ли кто-нибудь объяснить типы сокращения с помощью этого примера, особенно бета-сокращение самым простым способом. Также не было бы против легко понять учебник.
(λxyz .xyz )(λx .xx )(λx .x )x