LINEAR LOGIC IN COMPUTER SCIENCE