Quantale系统相关论文
摘要Steven Vickers将拓扑的方法与逻辑理论相结合建立了拓扑系统理论,并将这一理论应用于理论计算机科学的研究中.而产生于上个世......
Steven Vickers将拓扑的方法与逻辑理论的结果相结合于专著《Topology via Logic》,建立了拓扑系统理论,并将这一理论应用于计算机......
