In 1986, J.Y. Girard discovered that usual logical implicaiton could be broken up into more clementary linear operations, Following that, he developed a new logical system, called linear logic, which appears now as a promising approach to fundamental questions arising in proof theory and in computer science, In this paper, we give a brief guide to the characteristics of linear logic, summary the recent developments and discuss the prospect of its applications to computer science.