27 Oct
1992
27 Oct
'92
3:50 p.m.
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 . ==============================================================================