Martin-Lof类型论程序设计导引 = Programming in Martin-Lofs Type Theory an Introduction

Main Authors: 瑞典 诺德斯特龙 B ((瑞典)Bengt Nordstrom,(瑞典)Kent Petersson, (瑞典)Jan M.Smith著); 瑞典 Nordstrom Bengt; 瑞典 彼得森 K; 瑞典 Petersson Kent; 瑞典 史密斯 J.M; 瑞典 Smith Jan M
Group Author: 宋方敏 (译)
Published: 南京大学出版社
Publication Dates: 2002
Call Number: O24/3724