lambda的相關文章
lambda的相關商品

λ演算- 维基百科,自由的百科全书
瀏覽:574
日期:2025-05-05
λ演算(英语:lambda calculus,λ-calculus)是一套用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐·邱奇和他的学生斯蒂芬·科尔·克莱尼在20世纪30年代 ......看更多