原名:Chu spaces as a semantic bridge between linear logic
作品简介:霍普夫代数作为非交换线性逻辑的解释。对于小楚、双外延空间，填字游戏的比喻适用。 MLL 定理 B 是可从公理模式的实例 A 推导出来的任何公式……
资源下载
VIP免费升级VIP
原名:Chu spaces as a semantic bridge between linear logic
作品简介:霍普夫代数作为非交换线性逻辑的解释。对于小楚、双外延空间，填字游戏的比喻适用。 MLL 定理 B 是可从公理模式的实例 A 推导出来的任何公式……
