Logical Frameworks

Appeared in Volume 8/3, August 1995

I have updated the WWW page on logical frameworks at:

http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html

It has 27 new references and 7 new personal home pages. To see only the new information you may consult:

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.

For more information, contact:

Frank Pfenning
Dept. of Computer Science
Carnegie Mellon Univ.
Pittsburgh, PA 15213-3891, USA
URL: http://foxnet.cs.cmu.edu/people/fp/homepage.html
Email: fp@cs.cmu.edu