What is a Categorical Model of Intuitionistic Linear Logic? (1995)

by G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C