What is a categorical model of intuitionistic linear logic (1995)

by G M Bierman
Venue:In: TLCA'95, M. Dezani-Ciancaglini, G. Plotkin