莱姆答算子
(文学 | 语言文字)
莱姆答算子(λ-operator),文学-语言文字-语义学-莱姆答运算,用来约束自由变量的一种算子。
加载更多
领域
提 交
文字
文化
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》