Lambda计算器 Lucas Champollion，Josh Tauberer，Maribel Romero，Dylan Bumford，Alex Warstadt，Anna Alsop和Raef Khan的联合作品。 Lambda计算器是一种交互式的图形化教学工具，可以帮助正式语义学的学生根据Heim＆Kratzer（1998）风格的语义实践类型化的lambda演算和含义的推导。 有关该项目的最新信息，。 复制中 该项目根据GNU GPL（最新版本）的条款进行分发。 安装 您可以从该存