Brief Guide to LL

                     A BRIEF GUIDE TO LINEAR LOGIC  

                             Andre Scedrov  

In: "Current Trends in Theoretical Computer Science", ed. by G. Rozenberg 
and A. Salomaa, World Scientific Publishing Co., 1993. 

ABSTRACT.  An overview of linear logic is given, including an extensive 
bibliography and a simple example of the close relationship between linear 
logic and computation. 

This is an expanded and updated version of the article that has originally 
appeared in Bull. EATCS vol. 41, June, 1990, pp. 154-165, in the column 
"Logic in Computer Science" edited by Y. Gurevich.