PPLambda
PPLambda
(language)["Logic and Computation: Interactive Proof with CambridgeLCF", L. Paulson, Cambridge U Press, 1987].
| 单词 | pplambda |
| 释义 | PPLambdaPPLambda(language)["Logic and Computation: Interactive Proof with CambridgeLCF", L. Paulson, Cambridge U Press, 1987]. |
| 随便看 |
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。