linear logic
linear logic
(theory)http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html.
[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPMConference, 1991].
| 单词 | linear logic |
| 释义 | linear logiclinear logic(theory)http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html. [Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPMConference, 1991]. |
| 随便看 |
|
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。