莱姆答抽象
(文学 | 语言文字)
莱姆答抽象(λ-abstraction),文学-语言文字-语义学-莱姆答运算,类型论中通过引入莱姆答算子(λ)使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
文字
文化
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多