Esfandiar Haghverdi Partially Additive Categories and Fully Complete Models of Linear Logic. 197-216 2001 TLCA http://link.springer.de/link/service/series/0558/bibs/2044/20440197.htm db/conf/tlca/tlca2001.html#Haghverdi01