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

单词	renaming rule
释义	renaming rule [rē`nām·iŋ ´rül] ^MATHEMATICS A transformation rule in the lambda calculus that allows conflicts of variables to be eliminated; it states that a bound variable x in a lambda expression M may be uniformly replaced by some other bound variable y, provided y does not occur in M. Also known as alpha rule.
随便看	extrophy extrorse extroversion extrudate extruder extrusion extrusion billet extrusion coating extrusion cooking extrusion defect extrusion ingot extrusion metal extrusion pressing extrusive rock exudate exudation exudation vein exumbrella eye eye assay eyeball eyeball assay eyeball potential eyebar eyebolt

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