范畴类型逻辑

本书对范畴类型逻辑的发展、功能进行了全面的研究。

2008.01