Gavin M. Bierman What is a Categorical Model of Intuitionistic Linear Logic? 78-93 1995 conf/tlca/1995 TLCA db/conf/tlca/tlca95.html#Bierman95