山西大同大学图书馆书目检索系统

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

个人责任者:

努德斯特伦 (Nordstrom, Bengt) 著

个人责任者:

彼得森 (Petersson, Kent) 著

个人责任者:

史密斯 (Smith, Jan M.) 著

个人次要责任者:

宋方敏 译

学科主题:

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

中图法分类号:

O24

科图法分类号:

51.8

一般附注:

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

责任者附注:

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

书目附注:

有书目 (第183-191页)

提要文摘附注:

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

豆瓣简介：