logic of computable functions
主要的贡献是Robin Milner（1934-2010）的研究成果，包括LCF， Scott 可计算函数逻辑（Logic of Computable Functions）的机械化，可能是 第一个基于理论但实用的计算机辅助证明工具；ML，第一个具有多态的类型推演 和具有类型安全异常处理机制的编程...
基于28个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
youdao
应用推荐
模块上移
模块下移
不移动