Distributive Full Non-associative Lambek Calculus; Dynamic logic; Iterated composition; Lambek Calculus; Transitive closure;
机译:完全非缔合性Lambek结石的序列关系的不确定性
机译:关于带空串的非缔合Lambek演算的归约系统
机译:非关联Lambek演算的规则扩展
机译:分布式全非关联兰贝克微积分中的迭代师
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:Cdc2激酶的显性负突变体使细胞分裂与迭代植物发育脱钩。
机译:极化古典非关联Lambek演算和形式语义
机译:Lambek微积分富含附加连接