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

单词	second-order lambda-calculus
释义	Second-Order Lambda-calculus Second-Order Lambda-calculus (language)(SOL) A typed lambda-calculus. ["Abstract Types have Existential Type", J. Mitchell et al,12th POPL, ACM 1985, pp. 37-51].
随便看	american academy of veterinary medical acupuncture american academy of veterinary nutrition american academy of veterinary pharmacology and therapeutics american academy of water resources engineers american academy of wedding professionals american academy of women artists american academy of wound management american academy on communication in healthcare american academy on physician and patient american accent american accent training american accordionists' association american accordion musicological society american accounting association american accreditation commission american accreditation health care commission, inc. american accreditation program inc. american accrediting association of theological institutions american acrylic injection inc american action fund for blind children and adults american actor american actress american adoption congress american advanced technicians institute american advertising federation

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

Second-Order Lambda-calculus