跳转到内容

简单类型lambda演算：修订历史

查看该页面的日志（查看過濾器日志）

过滤修订版本展开折叠

截止日期：

标签过滤：

反向选择

选择下列任何一个版本的日期点击可以浏览。需要更多帮助请参看Help:页面历史和Help:编辑摘要。

（当前）= 与最后修订版本的差别，（先前）= 与前一个修订版本的差别，小 = 小修改，→ = 章节编辑，← = 自动编辑摘要

检索自“https://zh.wikipedia.org/wiki/简单类型lambda演算”