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

单词	pplambda
释义	PPLambda PPLambda (language)essentially the first-order predicate calculussuperposed upon the simply-typed polymorphic lambda-calculus. PPLambda is the object language forLCF. ["Logic and Computation: Interactive Proof with CambridgeLCF", L. Paulson, Cambridge U Press, 1987].
随便看	student online support student operated press student opportunity and access program student oral language observation matrix student oral proficiency assessment student organization student organization advising and resources student organization for alumni relations student organization for animal protection student organization for animal rights student organization resource fee student organizations and campus activities student organization support student organized clinic committee student orientation and registration student oriented comprehensive knowledge enhancement technique student osteopathic medical association student osteopathic surgical association student outcome survey student outdoor adventure and recreation student outdoor adventures student out of training status student outreach intern student owed repayment student paper competition award

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

PPLambda