开发者 slc.sf.net

slc 免费

符号 Lambda 微积分是基于 lambda 微积分和组合逻辑的逻辑形式主义，其中只有一种对象，可以表示条件或相等性。它使用德布鲁因和兰塔微积分符号。