linear logic guide

A Brief Guide to Linear Logic Andre Scedrov 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. Available by anonymous ftp from host ftp.cis.upenn.edu and the file pub/papers/scedrov/guide.dvi . The bibliography is also available separately from pub/papers/scedrov/LL-bib.bib . ==============================================================================