标签： lambda beta reduction calculus
我对接下来的两个lambda表达式的b减少有一些问题，有人可以解释一下如何解决它们：
(λ f . λ x . f (f x)) (λ x . x (λ x . λ y . x))