λ swMATH ID: 5521 软件作者： 美国设计公司 描述： Lambda是一个交互式Lambda演算解释器。它减少了lambda表达式，并将它们转换为S、K和I组合符（ext）。它能够将名称与lambda表达式（def）关联，从文件中加载定义（load），并列出当前定义（list）。表示整数的Lambda表达式会根据需要自动定义。定义文件中提供了许多有趣的组合子。提供了各种设置以影响执行还原和提取的方式（设置）。提供了一份简短的手册，说明lambda的工作原理。 主页： http://uniquesoftwaredesigns.com/lambda/docs/lambda.html 编程语言： C类++ 关键词： 教育;计算机辅助教学（CAI）;科学/工程;数学 相关软件： PENSDP公司;伊朗伊斯兰共和国;SB方法;SDPARA公司;COL公司;SDPLR公司;ARPACK公司;环境影响评价;SDPA公司;优化软件基准 引用于： 1文件 1位作者引用 1 Nayakkankuppam，Madhu V。 连载1篇 1 数学编程。A系列B系列 在2个字段中引用 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文