问题描述
我对如何跟踪此 Lambda 微积分表达式的急切求值步骤感到困惑。我不确定步骤是什么。
(λu.(u λg.λh.h) ((λx.λy.λf.((f x) y) a) b))
解决方法
事实上，您给出的术语已经是正常形式并且无法简化，因为所有应用程序首先都使用与 lambda 抽象相关联的变量。 如果您在减少条款方面有任何困难，我建议您使用一些在线工具。例如：https://www.cl.cam.ac.uk/~rmk35/lambda_calculus/lambda_calculus.html