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条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。