REVIEWS-Linear logic in computer science