What is a categorical model of Intuitionistic Linear Logic?

This publication has 10 references indexed in Scilit:

• Linear logic and lazy computation
  Published by Springer Nature ,2005
• A mixed linear and non-linear logic: Proofs, terms and models
  Published by Springer Nature ,1995
• Computational interpretations of linear logic
  Theoretical Computer Science, 1993
• Constructive logics Part I: A tutorial on proof systems and typed λ-calculi
  Theoretical Computer Science, 1993
• A term calculus for Intuitionistic Linear Logic
  Published by Springer Nature ,1993
• *-Autonomous categories and linear logic
  Mathematical Structures in Computer Science, 1991
• Linear logic, *-autonomous categories and cofree coalgebras
  Published by American Mathematical Society (AMS) ,1989
• The linear abstract machine
  Theoretical Computer Science, 1988
• Linear logic
  Theoretical Computer Science, 1987
• Categories for the Working Mathematician
  Published by Springer Nature ,1971