?范畴语法
问:在您1991年出版的书《行动中的语言》(Language in Action)中,研究的焦点是范畴语法(Categorical Grammar)的逻辑基础和类型论基础。在此项工作中,读者主要看到的是λ-演算和逻辑推演,此时您似乎又成为证明论专家了,这是为什么?
[计]?范畴文法
categorical grammar 范畴文法; 范畴语法..
第八章
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。