英语词汇“head normalisation theorem”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典-现代词典

单词	head normalisation theorem
释义	head normalisation theorem head normalisation theorem Under the typed lambda-calculus, beta/delta reduction of theleft-most redex (normal order reduction) is guaranteed toterminate with a head normal form if one exists. See alsoChurch-Rosser theorem.
随便看	mawin legal & business consultancy co., ltd. mawj mawk mawk (disambiguation) mawken mawkin mawkingly mawkish mawkishly mawkishness mawks mawky mawl mawlah mawlamyaing mawlamyine mawlana nur al-din 'abd al-rahman ibn ahmad mawlawi (islamic title) mawlay hasan muhammad ibn yusuf mawlay ismail mawle mawlid mawlid al-nabi mawlid an-nabi mawlogs

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