请输入您要查询的字词:
单词
λ-reduction
释义
λ-reduction
Encyclopedia
文学
莱姆答运算
释
λ-reduction
莱姆答还原
类型论的一种对λ约束的变量逐一赋值并逐步消去λ的运算过程。与莱姆答抽象是相逆的过程,也写作“λ还原”。
随便看
苏台德
苏合香
苏合香丸
苏君红
苏味道
苏哈尔
苏哈托
苏国荣
苏圣玛丽
苏圣玛丽运河
苏型双全同立构聚合物
苏型双间同立构聚合物
苏型异构体
苏型构型
苏埃尔
苏埃托尼乌斯
苏埠屯商墓
苏塞
苏塞考古博物馆
苏复之
苏夏
苏大年
苏大成传
苏天爵
苏天赐
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/16 6:30:46