Email Record: Linear logic in computer science /