大拱桥--暨南大学学生门户 » 图书馆 » 计算数学 » Martin-Lof类型论程序设计导引
名称 Martin-Lof类型论程序设计导引
索引号 O24/20071
分类号 O24
O24(计算数学)
O(数理科学和化学)
作者 努德斯特伦、彼得森、史密斯、宋方敏、
出版社 南京 : 南京大学出版社, 2002
ISBN 7-305-03832-6
页数 195页 ; 23cm
价格 CNY24.00
标签 类型论、plt、程序语言、计算机科学、
简介
注解 创建世界高水平大学项目资助教材 著者规范汉译姓: 努德斯特伦 (Nordstrom), 彼得森 (Petersson), 史密斯 (Smith) 有书目 (第183-191页) 本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。