线性逻辑相空间的分层结构
黄且圆;王驹
Hierarchy Structures of Phase Spaces on Linear Logic

YouLiang Hou,DePei Liu

数学学报 . 1997, (1): 1 -008 .  DOI: 10.12386/A19970001