宾夕法尼亚LAMBDA计算器1.0.12_The Penn Lambda Calculator 1.0.12下载地址

演算变得更加容易。

在宾夕法尼亚LAMBDA计算器是一个互动的，图形化的，以Java为基础的电脑，旨在帮助自然语言的形式语义的学生实行类型化λ演算。

要求：

·的神器出山:www.shenqi73.comJava

此版本中的新功能：

·固定的按字母顺序排列的变种{X | }符号。
·固定式装卸储存，使用新的表达式类型的练习文件。