符号 Lambda 微积分是基于 lambda 微积分和组合逻辑的逻辑形式主义，其中只有一种对象，可以表示条件或相等性。它使用德布鲁因和兰塔微积分符号。
版本历史记录
- 版本 files 发布于 2010-05-13
若干修复和更新 {*} - 版本 N/A 发布于 2010-05-13
软件信息
- 软件分类： 教育 > 其他
- 发布者： slc.sf.net
- 许可： 免费
- 价格： N/A
- 版本： Array
- 适用平台： linux
符号 Lambda 微积分是基于 lambda 微积分和组合逻辑的逻辑形式主义，其中只有一种对象，可以表示条件或相等性。它使用德布鲁因和兰塔微积分符号。