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

单词	beta abstraction
释义	beta abstraction beta abstraction [lambda-calculus] The conversion of an expression to anapplication of a lambda abstraction to an argumentexpression. Some subterm of the original expression becomesthe argument of the abstraction and the rest becomes itsbody. E.g. 4+1 --> (\\ x . x+1) 4 The opposite of beta abstraction is beta reduction. Theseare the two kinds of beta conversion.
随便看	schirra schirra, wally schirra, walter schirra, walter marty, jr schirrhus schisandra schisandra chinensis -schisis schism schisma schism act schismatic schismatical schismatically schismaticalness put (something) toward (something) put (something) to work put something under a microscope put something under pressure put something under the microscope put (something) up put something up put something up for put something up for auction put something up for sale

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