Chu空间作为线性逻辑和数学之间的语义桥梁 电子书下载

原名:Chu spaces as a semantic bridge between linear logic and mathematics
作品简介:Chu 空间作为线性逻辑和数学之间的语义桥梁 Vaughan Pratt * 斯坦福大学计算机科学系斯坦福大学，CA 94305-2140……