或者说，它是范畴语法、尤其是兰贝克演算（Lambek calculus）与类型逻辑语义学的综合， 类 型： PDF文件 格 式： pdf 文件大小： 312KB 页 数： 4页
基于16个网页-相关网页
兰贝克演算
The Lambeck calculus
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动