They're not the right category for computation, but they are a valid interpretation of linear typing. They're one of Girard's original inspirations for linear

They're not the right category for computation, but they are a valid interpretation of linear typing. They're one of Girard's original inspirations for linear logic. The resource interpretation came later.