Brief Guide to LL
A BRIEF GUIDE TO LINEAR LOGIC
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.