英语词汇“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.
随便看	karyopherin subunit alpha-4 karyopherin subunit alpha-5 karyopherin subunit alpha-6 istof istoma, grigorii istoma pashkov istomina, avdotia ilinichna istomin, eugene istomin karion istomin, karion istomin, konstantin istomin, konstantin nikolaevich istomin, vladimir istomin, vladimir ivanovich istop istoricheskie zapiski istoricheskii arkhiv istoricheskii vestnik istoricheskii zhurnal istoriia fabrik i zavodov istoriia proletariata sssr istoriia sssr istorik-marksist istos istp

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