[Prev][Next][Index][Thread]

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 .