原名:Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
作品简介:所以(4)忘记了顺序,(5)将 L 的两个含义压缩为一个。另外,FVect 只有一张求值和柯里化图,如下:evA……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录