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 .