闭合一个开放的递归符号理解

不确定它是否能回答你的问题,但我想通过网上阅读各种材料 ⇓ 方法 评估为 或 减少到 .

表达:

(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)

它意味着,功能 fun 采取什么 x1 类型的 τ1 作为一个论点 减少 相同的功能。

可能是 this question 在东南部可能会帮助你。