“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.
随便看	Xeralf xerarch succession Xerert xeric xeroderma pigmentosum xerodermosteosis xerogel xerography Xeroll xerophthalmia xerophyte xeroradiography xerosere xerosis conjunctivae xerothermal period xerothermic xerothermic period Xerult X frame xi hyperon xi-minus particle xi particle xiphidio cercaria Xiphiidae xiphisternum

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