读过《范畴类型逻辑》 🌕🌕🌕🌑🌑
不太行，定位炒尴尬的一本书，主要问题是细节和解释给少了，相关定理和证明的给出太过简略。只能看个大概，可能只有用来上课之类才行。。.内容大概是，从古典范畴讲起到lambek演算、MG、Carpenter的type-logical semantics（包括他的typed feature structures后面也有提及，这玩意基本上看不懂。。）以及向lambek回归的grammar logics（包括诸如frame semantics、multimodal systems之类的东西）。然后也向侧面扩展了计算语言学里面的与范畴语法相关的自动分析，DRT和动态逻辑、情境语义学，还有如前面所说Carpenter 1997之类的东西。最后，对非连续量词和灵活语序问题的分析挺有意思。大部分算是比较前沿的.