Martin-Lof类型论程序设计导引 = Programming in Martin-Lofs Type Theory an Introduction
Saved in:
Main Authors: | ; ; ; ; ; |
---|---|
Group Author: | |
Published: |
南京大学出版社
|
Publisher Address: | 南京 |
Publication Dates: | 2002 |
Literature type: | Book |
Language: | Chinese |
Subjects: | |
Carrier Form: | 195页: ; 23cm |
ISBN: | 7-305-03832-6 |
Index Number: | O24 |
CLC: | O24 |
Call Number: | O24/3724 |
Contents: |
创建世界高水平大学项目资助教材 有书目 (第183-191页) 本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。 |