1. ∗-Autonomous Categories;Barr,1979
2. *-Autonomous categories and linear logic;Barr;Math. Struct. Comp. Sci.,1991
3. A category arising in linear logic, complexity theory, and set theory;Blass,1995
4. A linear specification language for Petri nets;Brown,1991
5. Linear logic;Girard;Theoret. Comput. Sci.,1987