大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Asperti 的图书(共1本)

Categories, types, and structures : an introduction to category theory for the working computer scientist

0
索取号：TP312/E9979
作者：Asperti、 Andrea.、Longo、 G. (Giuseppe)、
出版社：London Cambridge, Mass. : MIT Press, 1991.