英语词汇“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.
随便看	pagon, r.a. pagon, ra pagon syndrome pago pago pago pago, american samoa pago pago, american samoa - international pagophagia pagophila pagophila eburnea pagophilus pagophilus groenlandicus pago por evento pago por servicios ambientales pago por ver pagosa area water and sanitation district ultrasound diathermy ultrasound-directed oocyte recovery ultrasound (disambiguation) ultrasound doppler flowmeter ultrasound elastography ultrasound estimated bladder weight ultrasound examination ultrasound flowmeter ultrasound frequency ultrasound-guided and monitored

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