基于格语法思想的范畴类型逻辑研究
기우격어법사상적범주류형라집연구
A Research on Categorical Type Logic Based on Case Grammar