University of Tsukuba, Tsukuba, Japan;
Ohio State University, Columbus, USA;
Scope parallelism; Coordination; Right-node raising; Hybrid Type-Logical Categorial Grammar; Dependent Type Semantics;
机译:CuN4型配位模式的铜(II)配合物的配位依赖性ESR光谱:ESR参数与配合物的稳定常数或氧化还原电位之间的关系
机译:保护依赖类型理论的表示语义
机译:滴答时钟作为依赖权伴随:时钟类型理论的表示语义
机译:在依赖式语义中协调的范围并行性
机译:歌罗西书1:15-20和腓立比书2:6-11:从语义结构分析的角度来看,并行性的语义方面。
机译:空间记忆障碍和运动协调促进在cGmp依赖性蛋白激酶II型缺陷型小鼠
机译:范围并行性和语法 - 语义接口的省略号解析
机译:语义变化:量化和协调的范围