英语词汇“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.
随便看	incidence (epidemiology) incidence function incidence matrix incidence/mortality incidence of aggression incidence of taxation incidence plane incidence proportion incidence rate incidence rate of clinical mastitis incidence rates of squamous cell carcinoma incidence relation incidence reporting schemes incidence reporting team incidences incidence study incidency incident incident/accident report incident action council incident action plan incident advisory council incidental incidental alteration material incidental appendectomy

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