中国科学院数学与系统科学研究院期刊网
线性逻辑相空间的分层结构
黄且圆;王驹
Hierarchy Structures of Phase Spaces on Linear Logic

YouLiang Hou,DePei Liu
数学学报 . 1997, (1): 1 -008 .  DOI: 10.12386/A1997sxxb0001