Brief Guide to LL

• To: linear@edu.stanford.cs
• Subject: Brief Guide to LL
• From: andre@edu.upenn.cis.saul (Andre Scedrov)
• Date: Wed, 4 Aug 93 10:23:28 EDT
• Approved: types@dcs.gla.ac.uk

                     A BRIEF GUIDE TO LINEAR LOGIC  

                            
                             Andre Scedrov  


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. 

• Prev: Games and Full Abstraction for PCF: Joint Announcement
• Next: Moving ML/Haskell toward second-order polymorphism
• Index(es):
  • Main
  • Thread