“Church-Rosser theorem”的概念、定义、翻译、参考文献-科学参考

单词	Church-Rosser theorem
释义	Church-Rosser theorem [¦chǝrch ¦rȯs·ǝr ¦thir·ǝm] ^MATHEMATICS If for a lambda expression there is a terminating reduction sequence yielding a reduced form B, then the leftmost reduction sequence will yield a reduced form that is equivalent to B up to renaming.
随便看	hypsometric map hypsometric tinting hypsometric tints hypsometry hypsophobia hypural Hyracodontidae Hyracoidea hyster- hysterectomy hysteresimeter hysteresis hysteresis clutch hysteresis coefficient hysteresis damping hysteresis error hysteresis heating hysteresis loop hysteresis loss hysteresis motor hysteretic damping hysteria hysteriaceous Hysteriales hysterical anesthesia

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