Re: Logical Frameworks Workshop: Informal Proceedings

Subject: Logical Frameworks Workshop: Informal Proceedings From: ccmj@dcs.ed.ac.uk

The informal proceedings of the 2nd Workshop on Logical Frameworks (Edinburgh May 1991) are now available by ftp.

For readers who are closer to Massachusetts than to Edinburgh, the proceedings are also available by anonymous ftp from theory.lcs.mit.edu, in the file pub/lf/1991/proc91.dvi.Z (the file is compressed). The file can also be retrieved from our archive server by sending the line send lf 1991/proc91.dvi.Z to archive-server@theory.lcs.mit.edu. The file will be uuencoded and shipped in pieces. You can send the line "help" instead for further information on using the archive-server. -David Wald =================================