Mathematical logic; Calculus; Grammars; Semantics; Set theory; Categories; Formalism;
机译:Lambek vs. Lambek:Lambek微积分的函数向量空间语义和字符串图
机译:具有子折叠和括号模态的乘法添加Lambek微积分
机译:对合非结合Lambek演算
机译:包含添加剂和乘法单元的Lambek演算的L模型和R模型
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:成功地从古代人类牙结石中富集和恢复整个线粒体基因组
机译:Lambek与Lambek:Functorial向量空间语义和字符串图 对于Lambek微积分