英语词汇“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].
随便看	beggar-my-neighbour policy beggar-my-neighbour strategy beggar on horseback beggars beggars all description beggars banquet beggars belief beggar's bush beggar's buttons beggars buttons beggars cannot be choosers beggars can't be choosers beggars description beggars group japan beggar's lice beggar's-lice beggars-lice beggar's night beggars on horseback beggars tick beggar's ticks beggar's-ticks beggars-ticks beggar's velvet beggars velvet

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

PPLambda