Linear Logic In Computer Science by