《范畴类型逻辑》是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。