中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Martin-Lof类型论程序设计导引/(瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著 宋方敏译

出版发行项:

南京:南京大学出版社,2002

ISBN及定价:

7-305-03832-6/CNY24.00

载体形态项:

195页;23cm

并列正题名:

Programming in Martin-Lofs type theory an introduction

丛编项:

创建世界高水平大学项目资助教材

个人责任者:

努德斯特伦, B. (Nordstrom, Bengt) 著

个人责任者:

彼得森, K. (Petersson, Kent) 著

个人责任者:

史密斯, J. M. (Smith, Jan M.) 著

个人次要责任者:

宋方敏 译

学科主题:

计算数学-高等学校-教材

中图法分类号:

O24

责任者附注:

责任者 (Nordstrom) 规范汉译姓: 努德斯特伦, 责任者 (Petersson) 规范汉译姓: 彼得森, 责任者 (Smith) 规范汉译姓: 史密斯.

书目附注:

有书目 (第183-191页)

提要文摘附注:

本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。

豆瓣简介：