(λw. W) (λu. Λv. U) (λu. Λv. V) (λu. Λv. U)
Может ли кто-нибудь дать мне пошаговое Бета-сокращение этого примера? Я действительно запутался