LIRMM Université de Montpellier CNRS Montpellier France;
Ohio State University Columbus USA;
Lambek calculus; Lambda grammar; Type-logical grammar; Proof theory; Proof nets;
机译:“相应”谓语的语法-语义接口:混合类型-逻辑分类语法的统一分析
机译:日语中的非成分协调作为成分协调:混合类型-逻辑分类语法的分析
机译:在类型逻辑语法中结合逻辑和分布方法
机译:混合型逻辑语法的证明理论方面
机译:一种使用生产规则,依赖图和两级语法进行方面挖掘的方法。
机译:合成和基因组调控元件揭示了小鼠胚胎干细胞中顺式调控语法的各个方面
机译:混合型逻辑语法的证明理论方面