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
应用推荐
模块上移
模块下移
不移动