我正在尝试学习lambda演算，但是我很难做到这一点。因此，如果有人可以解释一下，我将不胜感激！
(λj.λx.f(j x)) (λy.f y)
有一个自由变量f。 j，x和y均受抽象约束。
您可以通过两种方式获取普通表格。进行两次beta减少
(λj.λx.f(j x)) (λy.f y) == (λx.f((λy.f y) x)) apply (λj.λx.f(j x)) to (λy.f y)
== (λx.f(f x)) apply (λy.f y) to x
或先执行eta减少，再进行beta减少。
(λj.λx.f(j x)) (λy.f y) == (λj.λx.f(j x)) f replace (λy.f y) with f
== (λx.f(f x)) apply (λj.λx.f(j x)) to f