大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 类型论 的图书(共2本)

观念与范式 : 类型电影研究

6.5
索取号:J905.1/200631
作者:沈国芳、
出版社:北京 : 中国电影出版社, 2005

Martin-Lof类型论程序设计导引

0
索取号:O24/20071
作者:努德斯特伦、彼得森、史密斯、宋方敏、
出版社:南京 : 南京大学出版社, 2002