“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.
随便看	positive-ion sheath positive landform positive lens positive linear functional positive logic positive meniscus lens positive mirror positive modulation positive mold positive motion positive movement positive ore positive part positive pedal curve positive phase sequence positive-phase-sequence relay positive pole positive ray positive real function positive semidefinite positive series positive shoreline positive skewness positive temperature coefficient positive terminal

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