“λ-abstraction”的概念、定义、翻译、参考文献-科学参考

单词	λ-abstraction
释义	λ-abstraction Encyclopedia 文学莱姆答运算释 λ-abstraction莱姆答抽象类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。 Mathematics λ-abstractionλ抽象 Computer 理论计算机科学程序理论释文 λ-abstractionλ抽象
随便看	直接推论直接插值法直接搜索直接搜索因子分解直接搜索法直接摄影直接操纵直接故意直接效应直接效应假说直接教学法直接数值方法直接数值模拟直接数值积分法直接数字控制直接数字控制系统直接映射直接显微计数直接晶圆键合技术直接智能控制直接服务直接构造直接染料直接染料染色直接核子衰变

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。