[S3] ================================================ AMAST Links 02 05

                    Bibliography on Linear Logic

  I would like to bring to your attention a new bibliography on linear
logic.  This bibliography stems from a seminar on _linear logic and_
_applications_ held this semester at Carnegie Mellon University and 
supervised by Frank Pfenning, Carsten Schuermann and myself.

  We believe it is a valuable contribution since
 o  it subsumes all other bibliographies on linear logic we are aware
    of;
 o  it is up-to-date, within the limitations of our knowledge;
 o  it is available in a number of formats, and in particular in HTML,
    providing in this way direct access to the papers WWW-available by
    means of URL hyperlinks.

  We plan to maintain this bibliography and enhance its interface in 
the future.  It is available on WWW at URL:
   http://www.cs.cmu.edu/~iliano/linearbib/linearbib.html
as well as from the _linear logic WWW page_ maintained by Pat Lincoln
at URL: http://www.csl.sri.com/linear/sri-csl-ll.html

  We are aware of the incompleteness of this bibliography.  We suspect
that it currently contains numerous imprecisions and even errors.  
Therefore, we would appreciate very much any corrections, suggestions,
comments, additional references, etc.  Feel free to contact me.

   Sincerely yours,

   Iliano Cervesato 
   email: iliano@cs.cmu.edu