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

跳转到导航 跳转到搜索

差异选择：选中要对比的修订的单选按钮，然后按Enter键或下面的按钮。
说明：（当前）=与最后修订的差异，（之前）=与上个修订的差异，小=小编辑。

2023年2月24日 (星期五)

检索自“https://zh.wiki.beta.math.wmflabs.org/wiki/简单类型λ演算”