[S3] ================================================ AMAST Links 02 04

                    WWW page on Logical Frameworks
              Maintainer: Frank Pfenning (fp@cs.cmu.edu)

   *Update* of [AL0102S2]

  I have updated the home page on logical frameworks at URL:
   http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html
The update consists of 27 new references and 7 new personal home pages,
brought to my attention since October 1994.
  To see only the new information you may _consult_ URL:
   http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-recent.html
Corrections, ftp addresses of papers, and further additions would be
most welcome.

   Frank Pfenning   
   Department of Computer Science, Carnegie Mellon University
   Pittsburgh, PA 15213-3891, U.S.A.
   Phone: +1 412 268-6343, Fax: +1 412 268-5576 InterNet: fp@cs.cmu.edu
   Web : http://foxnet.cs.cmu.edu/people/fp/homepage.html