Сокращение исчисления лямбда выражения

Question

У меня есть следующее выражение и нужна помощь в сокращении. Выражение левой руки должно быть равным правильному выражению.

1. (Лп. (Λs. (С (λx.λy.y)) п) λx.x) (λx.λy.y) = λx.x
2. (Лп. (Λs. (С (λxy.y)) п) λx.x) (λxy.y) = λx.x

Answer 1

Вот шаги сокращения для каждого:

(λn.(λs.(s (λx.λy.y))n) λx.x)(λx.λy.y) 
(λs.(s (λx.λy.y)) λx.x)(λx.λy.y) 
(λx.x (λx.λy.y))(λx.λy.y) 
(λx.λy.y)(λx.λy.y) 
λy.y 

(λn.(λs.(s (λxy.y))n) λx.x)(λxy.y) 
(λs.(s (λxy.y)) λx.x)(λxy.y) 
(λx.x (λxy.y))(λxy.y) 
λxy.y (λxy.y) 
λy.y 

Примечание стороны: 1 и 2 эквивалентны поскольку (λx.λy.y) = (λxy.y)