Partially Additive Categories and Fully Complete Models of Linear Logic (2001)

by E Haghverdi
Venue:TLCA’01, Springer LNCS