短語(yǔ)詞組短語(yǔ)categorical type logic 範(fàn)疇類型邏輯intensional logic and categorical grammar 第八章 返回 categorical logic