标签： lambda-calculus
“λn.λm.m（MULT n）1”这个算术运算可算吗？
这在费尔南德斯（Fernandez）的文章《计算模型：可计算性理论入门》第3章中列出，我似乎无法弄清楚。