图形lambda演算

loveqloveq41618 5 0 pdf 2024-04-29 21:04:00

图形lambda演算是一种将lambda演算可视化的图形式表示。它使用有向图来表示lambda表达式,其中结点表示λ项,而边表示函数应用。

图形lambda演算

用户评论
请输入评论内容
评分:
暂无评论