大拱桥--暨南大学学生门户 » 图书馆 » 程序语言、算法语言 » Categories, types, and structures : an introduction to category theory for the working computer scientist
名称 Categories, types, and structures : an introduction to category theory for the working computer scientist
索引号 TP312/E9979
分类号 TP312
TP312(程序语言、算法语言)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Asperti、 Andrea.、Longo、 G. (Giuseppe)、
出版社 London Cambridge, Mass. : MIT Press, 1991.
ISBN
页数 xi, 306 p. : ill. ; 24 cm.
价格
标签
简介
注解