兰贝克微积分和子结构逻辑 电子书下载

原名:Lambek Calculus and Substructural Logics
作品简介:与 lambda 演算和自然语言语义的关系；无积兰贝克演算的完整性证明——兰贝克演算和子结构逻辑。 3 模态范畴语法、组合语法和学习理论。有关这些主题的一些信息……