Text this: Linear logic in computer science /