机译:关于并行和句法中心形式主义:从聚合语法到抽象分类语法的编码的一个角度
LORIA/1NRIA Nancy-Grand Est 615 me du Jardin Botanique 54602 Villers-les-Nancy, France;
LORIA/INRIA Nancy-Grand Fst. 615 rue du Jardin Bolanique, 54602 Villers-les-Nancy,France;
The Ohio State University 202 Oxley Hull Columbus OH 43210, United States;
Grammatical formalism; type theory; linear logic; lambda calculus; mathematics of language; syntax-semantics interface;
机译:通过抽象分类文法的树邻接文法的语法语义接口
机译:二阶抽象分类文法作为超边替换文法
机译:非分类Lambek语法在抽象分类语法中的忠实表示
机译:关于语法-语义接口:从收敛语法到抽象分类语法
机译:关于类别语法的研究:解析算法和形式句的等价性(西班牙语)。
机译:更多的规则而非例外:古老宣传者语法和基因组中古代迁徙的并联证据
机译:论抽象范畴文法的表达能力:代表无上下文形式主义
机译:分类语法的解析程序