Department of Mathematics and Statistics McGill University 805 Sherbrooke Street West Montreal Canada;
Categorial grammar; Substructural logic; Pregroup grammar; Bilinear logic; Compact bicategories;
机译:使用语法编译的约束逻辑语法的高效处理
机译:第二语言习得中的多重语法和可学习性逻辑
机译:基于谓词逻辑的图像语法,用于复杂模式识别
机译:使用逻辑语法将遗传编程和归纳逻辑编程相结合
机译:Al-Sirafi的“语言学”语法理论:在对中世纪伊斯兰语言和逻辑的讨论中,对Al-Sirafi(Sharh&dotbelow; Kitab Sibawayhi)的语法工作进行的分析研究。
机译:第二语言习得中的多重语法和可学习性逻辑
机译:混合型逻辑语法,一阶线性逻辑和 Lambda语法的描述性不足
机译:单通道,一个归属语法的逻辑