英语词汇“beta reduction”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典-新都网

单词	beta reduction
释义	DictionarySeelambda calculus beta reduction beta reduction [lambda-calculus] The application of a lambda abstraction to an argument expression. A copy of the body ofthe lambda abstraction is made and occurrences of the bound variable being replaced by the argument. E.g. (\\ x . x+1) 4 --> 4+1 Beta reduction is the only kind of reduction in the pure lambda-calculus. The opposite of beta reduction is beta abstraction. These are the two kinds of beta conversion. See also name capture.
随便看	land chain land change science land charge land claims commission land claims set-aside land claims settlement act of 1971 land clearance for redevelopment authority land clearing development associations land clearing/inert debris land-clearing rake land code land combat operations land combat support system land combat systems land combat systems - huntsville land command and control information exchange data model land committees land & community heritage investment program land component command land component commander land condition trend analysis land conflict mapping tool land conservancy of hamilton county land conservancy of north kingstown land conservancy of west michigan

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。