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