linear logic

Hello,       What is the category that is used to interpret linear logic in a categorical logic sense? Thank you, Vasili [For admin and other information see: http://www.mta.ca/~cat-dist/ ]