Linear Logic in Computer Science