英语词汇“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.
随便看	cirn cirna cirnav cirnma cirnot ciro ci-roaf ciro ale'gria ciro alegria ciro alegría cirobe ciroc cirolanidae ciro menotti cirp cirpa cirpac cirpae cirpas cirpc cirpd cirpe cirpes cirphis loreyi cirplanology

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