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

by G Bierman
Venue:Proceedings of the Second International Conference on Typed Lambda Calculi and Applications, TLCA ’95, volume 902 of Lecture Notes in Computer Science